Corrected function signatures for currying