[Haskell-cafe] MonadLib usage

[Ivan Lazar Miljenovic]

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
IvanMiljenovic.wordpress.com