The committee was not convinced enough it’s worth it, and better than alternatives like curried type arguments. So the proposal was withdrawn, since furthermore there is no hard reason it should be in 3.0.
So it’s not refused outright, but there’s no current activity to bring it back