1 Jul
2010
1 Jul
'10
12:53 p.m.
Yep, your're right!
On Thu, Jul 1, 2010 at 7:49 PM, Ricardo Carnieri
Leaf and Branch are type-constructors, and "Tree a" is a parametrized type.
I think this is wrong. Leaf and Branch are *data* constructors, and Tree is, indeed, a type constructor.