Uncomment trivial mapping.
Added exception_or.
Added optional_monad alias.