Data.Monoid.Lifted

class Semigroup1 f