úÎâã     Safe!"˜A fast, unified, predicative trie. Singleton, leaf-ending branches have their own data constructor, predicate labels and literals have a unified type.2Overwrites when similar, leaves untouched when notSafe!" 2Overwrites when similar, leaves untouched when not    Safe           predt_40gcsQ9GwUHC7ktYyQ4Gz6Data.Trie.Pred.Unified.FastData.Trie.Pred.Unified.NormData.Trie.Pred.UnifiedFUPTrieFURestFUMoreFUPredmerge areDisjointlookupNUPTrieNUMoreNUPredRPTrieRooted$fMonoidRPTriegetFirst