lookup for typeclasses should be O(1) past the fir...
# arrow
p
lookup for typeclasses should be O(1) past the first lookup, O(log(n)) at worst