This module provides the Continuation Monad, in which every other monad can be implemented.
This module provides the "monad do ... end" macro.