<div dir="ltr">I'm trying to port some plugin code from GHC 8.0.2 to GHC 8.2.1; alas I'm getting an error suggesting that TyCon is no longer an instance of <font face="monospace, monospace">Ord</font>:<div><br></div><div><div><font face="monospace, monospace">Data/SBV/Plugin/Analyze.hs:580:33: error:</font></div><div><font face="monospace, monospace">    • No instance for (Ord TyCon) arising from a use of ‘M.lookup’</font></div><div><font face="monospace, monospace">      There are instances for similar types:</font></div><div><font face="monospace, monospace">        instance Ord GHC.Types.TyCon -- Defined in ‘GHC.Classes’</font></div><div><font face="monospace, monospace">    • In the expression: k `M.lookup` tcMap</font></div><div><font face="monospace, monospace">      In the expression:</font></div><div><font face="monospace, monospace">        case k `M.lookup` tcMap of</font></div><div><font face="monospace, monospace">          Just knd -> return knd</font></div><div><font face="monospace, monospace">          Nothing -> unknown</font></div><div><font face="monospace, monospace">      In a case alternative:</font></div><div><font face="monospace, monospace">          Just k</font></div><div><font face="monospace, monospace">            -> case k `M.lookup` tcMap of</font></div><div><font face="monospace, monospace">                 Just knd -> return knd</font></div><div><font face="monospace, monospace">                 Nothing -> unknown</font></div><div><font face="monospace, monospace">    |</font></div><div><font face="monospace, monospace">580 |                  Just k -> case k `M.lookup` tcMap of</font></div><div><font face="monospace, monospace">    |    </font>                             ^^^^^^^^^^^^^^^^^^</div></div><div><br></div><div>I was using TyCon's as a key in a map, but that code is no longer compiling. I've looked through the release notes but couldn't find what the new mechanism is.</div><div><br></div><div>I'd appreciate if someone can point me in the right direction regarding how to use TyCon as a map key..</div><div><br></div><div>Thanks,</div><div><br></div><div>-Levent.</div></div>