Split ev-monad^ into bind^ and fail^.