Monad transformers in CPS