Split ev-monad signature into env and sto.