[Haskell-cafe] MonadLib usage

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Sun Jul 18 10:19:19 EDT 2010

Jake McArthur <jake.mcarthur at gmail.com> writes:

> 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.

All; it was something to do with there being no guaranteed safety with
newtype deriving.

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the Haskell-Cafe mailing list