17 Nov
2009
17 Nov
'09
4:56 a.m.
On Mon, Nov 16, 2009 at 7:17 PM, Brent Yorgey
On Mon, Nov 16, 2009 at 12:33:51AM -0500, Phillip Pirrip wrote:
The alternative I guess is to use 3 different type constructors,
data TypeConA a = ValConA a data TypeConB a = ValConB [ValConA a] data TypeConC a = ValConC [ValConB a]
but then I can't use one signal typeclass for (+) etc. Am I correct?
Yes, this seems like the correct alternative to me. What is so bad
With a minor correction : data TypeConA a = ValConA a data TypeConB a = ValConB [TypeConA a] data TypeConC a = ValConC [TypeConB a]