Fix type infer on curried functions

[NathanPB]

Currently even the most basic curried functions can't properly infer its parameters types, and this makes those not usable