+ Add monoids.
+ Add testing flag to cabal.