<div dir="ltr"><div>By semantic<br></div><div>┬áCmpSymbol s1 s2 ~ EQ should be equivalent to s1 ~ s2 for s1 , s2 :: Symbol</div><div><br></div><div>Does GHC recognize it? If not, is there some trick to obtain evidence of the second constraint from the first ? I'm talking about context of type class instance declarations.<br></div></div>