[Haskell-cafe] Unable to make a HList-like to deal with Kleisli Arrows and State