This is huge because we can now verify type class ...
# arrow-contributors
r
This is huge because we can now verify type class evidences in polymorphic contexts with just a bit of Dagger boilerplate. Still experimental.