<div dir="ltr"><div>It seems to me that HsWildCardInfo is unnecessary.<br><br></div>It is defined as<br><div><br>newtype HsWildCardInfo pass      -- See Note [The wildcard story for types]<br>    = AnonWildCard (PostRn pass (Located Name))<br>      -- A anonymous wild card ('_'). A fresh Name is generated for<br>      -- each individual anonymous wildcard during renaming<br></div><div><br></div><div>And only ever used in</div><div><br></div><div>data HsType pass<br>  ...<br></div><div>  | HsWildCardTy (HsWildCardInfo pass)<br></div><div><br></div><div>Why not just do</div><div><div><br></div><div>  | HsWildCardTy  (PostRn pass (Located Name))<br></div><div><br></div><div>?</div><div><br></div><div>Am I missing something?</div><div><br></div><div>Alan<br></div><div><br></div></div><div><br></div></div>