search

haskell / mtl

The Monad Transformer Library
http://www.haskell.org/haskellwiki/Monad_Transformers
Other
362 stars 63 forks source link

Add MonadWriter instance for ContT #72

Closed Atry closed 3 years ago

Atry commented 4 years ago

Similar to https://github.com/haskell/mtl/pull/70

chessai commented 4 years ago

Also similarly to #70, why not using the underlying MonadWriter w m instance?

chessai commented 4 years ago

(The above question was rhetorical, you can't.)

But I'm not sure that we do want to lift reader in this way? Thoughts @haskell/core-libraries-committee ?

gwils commented 4 years ago

This instance seems weird to me. Besides which it would be confusing for an MTL class to have an instance that wasn't the expected lifting.

chessai commented 3 years ago

non-canonical, closing