2 Jul
2010
2 Jul
'10
12:53 a.m.
Yep, your're right! On Thu, Jul 1, 2010 at 7:49 PM, Ricardo Carnieri <carnieri@gmail.com> wrote:
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.