@@ -98,9 +98,7 @@ untrie3 tt = untrie2 . untrie tt
102−"trie/untrie" forall t. trie (untrie t) = t
101+{-# RULES "trie/untrie" forall t. trie (untrie t) = t #-}
105-- Don't include the dual rule:
103-- Don't include the dual rule:
106-- "untrie/trie" forall f. untrie (trie f) = f
104-- "untrie/trie" forall f. untrie (trie f) = f