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