[Haskell-beginners] a bunch o' questions

[Michael Mossey]

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