Data.Fold.M

data M a b