Made constraints on maybe's monoid instance more clear in docs.
Some additional unit tests for maybe and maybeT.
Additional unit tests for maybe.