[Haskell-beginners] Restricting integers in a type?