Jake McArthur <jake.mcart...@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.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
