New: The Alternative class

The Alternative typeclass is the last episode in our series on monoids.