[Haskell-beginners] Type Tree variables