Data.Monoid.SemiDirectProduct

data Semi s m

quotient

inject

embed