Data.Monoid.Lifted

class Semigroup1 f

class Monoid1 f

append1

empty1