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