remove IsNat constraints
curryP & friends
tweak foldT
foldT