[Haskell-beginners] type hierarchies / records