Continuation monad tests