[Haskell-cafe] Parameterized monad transformers