Rvalue overloads of the various monadic operations.
Move aware monadic actions for either and maybe.
Continuing the rvalue overloads for functor-series ops.
Even more rvalue overloads.
Copy function objects early instead of in lambda capture.