curry2, rcurry2, curry3, and rcurry3 are now all strict