Continuation monad
Execute continuation monad computations in the Continuation context
Fix call-cc and first test for the continuation monad
when-m function
Test types.halt function
Test monad laws for the maybe monad