@@ -18,8 +18,7 @@ import Control.Applicative
18import Control.Monad
18import Control.Monad
19import Control.Monad.Fix
19import Control.Monad.Fix
20import Control.Monad.Identity
20import Control.Monad.Identity
21−--import Data.Foldable
22−import Data.Traversable (for)
21+import Data.Traversable (for, Traverse)
24import qualified Data.Dependent.Map as DMap
23import qualified Data.Dependent.Map as DMap
25import Data.Map (Map)
24import Data.Map (Map)