11 Jan
2016
11 Jan
'16
2:10 p.m.
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.