How about an even more general principle?
Monotonicity: given more information, type inference should never infer less.
2 Likes
How about an even more general principle?
Monotonicity: given more information, type inference should never infer less.