improve? monad proofs