úΉò Haskell 2010 experimental Luke Palmer <lrpalmer@gmail.com> +A trie from integers to values of type a. Semantics: [[IntTrie a]] = Integer -> a :Apply the trie to an argument. This is the semantic map. The identity trie.  apply identity = id !Modify the function at one point 1 apply (modify x f t) i | i == x = f (apply t i) 0 | otherwise = apply t i $Overwrite the function at one point $ overwrite i x = modify i (const x)    data-inttrie-0.0.2 Data.IntTrieIntTrieapplyidentitymodify overwriteBitTrie applyPositiveidentityPositivemodifyPositive