Monads: the continuation monad can be viewed as a general monad