Data.Total.Internal.SparseFold
mpower
data
SparseFold
s m
foldPoint
runSparseFold