18 Jul
2010
18 Jul
'10
9:56 a.m.
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