(bind-func curry:[[[!r,!b]*,!a]*,[!r,!a,!b]*]* -> (lambda (r f) (t:closure-size? f 2)) (lambda (f) (lambda (a) (lambda (b) (f a b)))))