[Haskell-cafe] MonadLib usage

Emil Melnikov emilmeln at gmail.com
Sun Jul 18 12:59:39 EDT 2010

On 2010, July 18, 23:27
Ivan Lazar Miljenovic <ivan.miljenovic at gmail.com> wrote:

> When discussing a similar issue with Manuel Chakravarty, he convinced me
> that cunning newtype deriving is actually rather bad in practice and
> shouldn't be used as there's a lack of proofs or some such (I can't
> remember the arguments, but I remember being convinced by them :p).

Hmm...  I can't imagine how it is possible, since new and
original types are isomorphic.

Can you give me some pointers to this discussion (links or


More information about the Haskell-Cafe mailing list