Monoid instances. Added a Phantom class. DefaultSignatures