Data.Fold.M1
data
M1
a b
runM1