Data.Semigroup.Self

data Self m