[Haskell-beginners] State Transformer Confusion