A better monoid for Maybe

Option is effectively Maybe with a better instance of Monoid, built off of an underlying Semigroup
instead of an underlying Monoid. Ideally, this type would not exist at all and we would just fix the Monoid intance of Maybe