monnier at iro.umontreal.ca
Mon Sep 24 14:05:11 UTC 2018
> Does it make sense, and is it possible to have something like a "clonetype"
> that creates a new type and derives all the instances of the parent type as
Presumably, the reason why you create a newtype is because you want the
type system to distinguish the two types. Having automatically access
to all the base type's classes may sometimes be what you want, but in
other cases it hides too much of the distinction between the two types.
More information about the Haskell-Cafe