Type.Family.Monoid

type family Mempty :: k

type family a <> b :: k