commutative Semantics for commutative operations in Haskell Idea There isn't a class for commutative binary operations, and this is an attempt at making one.