[Haskell-beginners] Strorable and incomplete type