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
Adjunctions?
Really witnessed by a natural isomorphism (Iso1
).
Functors?
Once we go Category
polymorphic we start running into similar issues: See reddit thread.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
N
e
x
t
up
...