Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types

Subtyping provides polymorphism at a low cost: a concise type such as Int $\to$ Top covers every function that accepts an integer, whatever it returns, whereas the parametric alternative $\forall B.\,$ Int $\to$ B spends a quantifier and a type parameter to express the same. This cognitive overhead