On Mon, Nov 16, 2009 at 7:17 PM, Brent Yorgey <<a href="mailto:byorgey@seas.upenn.edu">byorgey@seas.upenn.edu</a>> wrote:<br><br>> On Mon, Nov 16, 2009 at 12:33:51AM -0500, Phillip Pirrip wrote:<br><br>>> The alternative I guess is to use 3 different type constructors,<br>
<br>>> data TypeConA a = ValConA a<br>>> data TypeConB a = ValConB [ValConA a]<br>>> data TypeConC a = ValConC [ValConB a]<br><br>>> but then I can't use one signal typeclass for (+) etc. Am I correct?<br>
<br>> Yes, this seems like the correct alternative to me. What is so bad<br><br>With a minor correction : <br><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">data TypeConA a = ValConA a</span><br style="font-family: courier new,monospace;">
<span style="font-family: courier new,monospace;">data TypeConB a = ValConB [TypeConA a]</span><br style="font-family: courier new,monospace;"><span style="font-family: courier new,monospace;">data TypeConC a = ValConC [TypeConB a]</span><br>
<br><br>