Moved tuple out of monoid; added functor instance.
Monoid instance for functions returning monoids\!
Initial Ord implementation.