
24 Sep
2018
24 Sep
'18
10:05 a.m.
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 well?
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. Stefan