neat! If you could calculate all typeclasses at co...

# arrow-contributors

[pakoito]

neat! If you could calculate all typeclasses at compile time in a transitive way all the way down, we’ve basically fixed typeclasses because we can just write a dictionary with O(1) access