[Haskell-beginners] Type polymorphism with size