[Haskell-cafe] MonadLib usage
jake.mcarthur at gmail.com
Sun Jul 18 09:56:38 EDT 2010
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.
More information about the Haskell-Cafe