úÎ Av Haskell 2010 experimental Luke Palmer <lrpalmer@gmail.com> Safe-Inferred+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.8 Data.IntTrieIntTrieapplyidentitymodify overwriteBitTrie applyPositiveidentityPositivemodifyPositive$fApplicativeIntTrie$fFunctorIntTrie$fApplicativeBitTrie$fFunctorBitTrie