Data.Fold.M1

data M1 a b

runM1