RT @oisdk: Trie impl that fits in a tweet: type Trie a b = Cofree (Map a) (Maybe b) string :: Ord a => [a] -> Lens' (Trie a b) (Maybe b)…