Yep, your're right!
On Thu, Jul 1, 2010 at 7:49 PM, Ricardo Carnieri 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.
