finish currying proof. interesting, harder/easier than i thought. currying: tuple -> can be partially applied. uncurrying -> can be partially applied -> tuple?