úÎ x (      !"#$%&'Safe!"2Overwrites when similar, leaves untouched when not (   ( Safe ,A Rooted, predicate, disjointly indexed trie )*    )*Safe!"'Assigns a value to literal constructors2Overwrites when similar, leaves untouched when not3Create a singleton trie out of literal constructors*Push a trie down with literal constructors+Ignores contents,+   ,+Safe !"#$%-&'./ !"#$%&'  "!#$%&'  !"#$%-&'./0               !predt_0rz1ak7NmcrHXR9qIWvMr6Data.Trie.Pred.Disjoint.TailData.Trie.Pred.DisjointData.Trie.Pred.Unified.TailData.Trie.Pred.UnifiedDPTrieDMoreDPredmerge areDisjointlookuplookupNearestParentlitSingletonTaillitExtrudeTailsortRDPTrieRooted litSingleton litExtrudeUPTrieUMoreUPredshowTail assignLitRUPTrierootchildrenshowTrie firstJust$fMonoidRDPTrie $fShowUPTrie $fShowRUPTrie$fMonoidRUPTrie