Moved ftl::function's monoid instance to functional.
Minor forwarding improvements in maybe's monad instance.