tweak monad "proofs"