Test monad laws on the Continuation monad