test continuation monad