[Haskell-beginners] a bunch o' questions

I have some questions about terminology re types and type constructors. If we have data Tree a = Branch (Tree a) (Tree a) | Leaf a Then is 'Tree' a type constructor? Is it correct to say: - 'Tree' is parameterized by one type, a - 'Tree a' is a type Regarding (->): - Is (->) a type constructor parameterized by two types? - Is (->) an operator? If so, it is the only operator that is also a type constructor? Thanks, Mike