<div dir="ltr">Earlier today, I wrote Proxy's instances for Eq1, Ord1, Show1, and Read1 and they were accepted for base-4.9.0.0. All in all, the process went way more smoothly than I expected, and so I started thinking about what other types from base are currently missing these instances, and this is what I've come up with:<div><br></div><div>    - Down (from Data.Ord)</div><div>    - Complex (from Data.Complex)</div><div>    - Ratio (from Data.Ratio) <br></div><div>    - First, Last (from Data.Monoid)</div><div>    - ZipList (from Control.Applicative)</div><div>    - Ptr, FunPtr (from Foreign.Ptr, only Eq1 and Ord1)</div><div>    - StablePtr (from Foreign.StablePtr, only Eq1)</div><div>    - K1, U1, Par1, Rec1, etc. (from GHC.Generics)</div><div><div>    - StableName (from System.Mem.StableName, only Eq1, requested here: <a href="http://hub.darcs.net/ross/transformers/issue/17">http://hub.darcs.net/ross/transformers/issue/17</a>)</div><div><br></div><div>Since most of these are trivial to implement, I'd like to try to get them in for GHC-8.0. Does anyone have in mind any other data types that would benefit from these?</div><div><br></div>-- <br><div class="gmail_signature">-Andrew Thaddeus Martin</div>
</div></div>