I was referring to chenglou's comment[1] where he said "It also prevents some optimizations and new type features."
Reason does not solve these, they're problems inherent to the underlying language and the choices made. I think the point being made was just that currying isn't a clear step forward, but causes some problems as well.