Apologetic note for lack of monad transformers.