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