<div dir="ltr">it seems so.. different synonyms with similar "content" are substituted / matched without errors:<div><br></div><div>data D = S String | I Int deriving (Eq,Ord)</div><div>type A = D</div><div>type B = D</div><div><br></div><div>compiler "won't mind" if</div><div>Set A</div><div>is replaced with </div><div>Set B</div><div><br>​</div></div>