Currying by hand