typo
make combinator impls private
add folds