This module defines the MonoidApplicative and
MonoidAlternative type classes. Their methods are specialized
forms of the standard Applicative and Alternative class
methods. Instances of these classes should override the default method
implementations with more efficient ones.