Motivation for monad transformers