Data.DoMonoid
type
DoMonoid
m
data
DoMonoidM
m r
runDoM