Continuation of Encoding Overlapping, Extensible Isomorphisms: encoding "open kinds" to better express some awkward type classes.
Last active
January 26, 2020 20:53
-
-
Save Icelandjack/865476f2299a4916d4e237d0f8ed0119 to your computer and use it in GitHub Desktop.
Rethinking Tricky Classes: Explicit Witnesses of Monoid Actions, Semigroup / Monoid / Applicative homomorphisms
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Adjunctions?
Really witnessed by a natural isomorphism (
Iso1
).