úÎ ‹ˆ#      !"Safe!"2Overwrites when similar, leaves untouched when not #  #Safe ,A Rooted, predicate, disjointly indexed trie      Safe!"2Overwrites when similar, leaves untouched when not $   $Safe  %!"&  !"  !" %!"&'            predt_EuEBtyZUVS31Kh1dPREqWJData.Trie.Pred.Disjoint.TailData.Trie.Pred.DisjointData.Trie.Pred.Unified.TailData.Trie.Pred.Unifiedsemig_0YWhjLrJsF14r1DiBdGEwaData.List.NonEmptysortDPTrieDMoreDPredmerge areDisjointlookuplitSingletonTaillitExtrudeTailRDPTrieRooted litSingleton litExtrude$fMonoidRDPTrieUPTrieUMoreUPredlookupNearestParentRUPTrierootchildrengetFirst firstJust$fMonoidRUPTrie