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
Functors?
Once we go
Category
polymorphic we start running into similar issues: See reddit thread.