<div dir="ltr">Why not this?<br><br>data Pair = forall a. Eq a =&gt; Pair {x::a, y::a}<br>equal :: Pair -&gt; Bool<br>equal (Pair x y) = x == y<br><br></div>