fix #3123, inference on too many arguments in type application