Eq1, Ord1, Show1: move from eq1, compare1, showsPrec1 to liftEq, liftCompare, liftShowsPrec

Henning Thielemann lemming at henning-thielemann.de
Mon Jan 11 19:10:48 UTC 2016


On Mon, 11 Jan 2016, Ryan Scott wrote:

> Not only that, but there are a couple of datatypes in transformers that 
> already resolve their Eq instances in an identical way to how Apply 
> would (for instance, IdentityT, which is isomorphic to Apply [2]).

If IdentityT is my desired Apply/Wrap then I am happy.


More information about the Libraries mailing list