@@ -62,8 +62,8 @@ import Data.Monoid
6262import Data.Function (on)
6363import GHC.Generics
6464
65−import Data.Void
66−
65+import Data.MemoTrie.Extra (Void)
66+
6767-- import Prelude hiding (id,(.))
6868-- import Control.Category
6969-- import Control.Arrow
@@ -173,7 +173,7 @@ instance HasTrie Void where
173173 -- As suggested by Audun Skaugen
174174 data Void :->: a = VoidTrie
175175 trie _ = VoidTrie
176− untrie VoidTrie = absurd
176+ untrie VoidTrie = \case
177177 enumerate VoidTrie = []
178178
179179instance HasTrie () where