Implementation of the monad Cont and clean