[Haskell-beginners] substitution