Data.Monoid.SemiDirectProduct
data
Semi
s m
unSemi
tag
inject
untag
embed
quotient