Re: [Haskell-beginners] a bunch o' questions

let t = Branch (Leaf 1) (Leaf 2) :: Tree Int you constuct a tree with two leaves, and after two colons say, that

Leaf and Branch are type-constructors, and "Tree a" is a parametrized type. Constructor is what you actually use to construct trees, but the type (Tree a) you use to annotate values. Like in the type of the tree is Tree Int Markus