Test that `curry` is idempotent

[jackfirth]

Given a function f, the functions curry(f) and curry(curry(f)) should behave identically. There should be a test verifying this for functions of varying arities.