[Haskell-cafe] MonadLib usage
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