Pull Trie out as a top-level data family. haddock is better at this.