[Haskell-cafe] MonadLib usage

[Jake McArthur]

On 07/18/2010 08:27 AM, Ivan Lazar Miljenovic 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).

Did these arguments apply to all newtype deriving or only to some subset 
of it? I don't know if "cunning" newtype deriving is a special kind of 
newtype deriving (multiparameter?) or if it's just being thrown around.

- Jake