Added operator|(pair_expected<T, I, E> m, F&& f)

No more need of the make_monad function