Fast type class resolution with a trie