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

[Henning Thielemann]

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.