doubleMonoid

Monoid

doubleShowable

Showable