Commutative Applicatives and Semigroups - View it on GitHub