Derived the continuation monad.
fixing an error in calling bind.