<@U7QUW41HP> We can get 100 working interaction if...
# arrow
r
@noncom We can get 100 working interaction if typeclasses land in the lang because then we can compile time guarantee the constrains and instances we add over datatypes declared in other libs.