Level-based generalization

free-foil-typecheck.cabal

@@ -64,6 +64,8 @@ library
     , bifunctors
     , containers
     , free-foil >=0.2.0
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 executable interpreter-hm
@@ -83,6 +85,8 @@ executable interpreter-hm
     , containers
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 executable interpreter-sf
@@ -102,6 +106,8 @@ executable interpreter-sf
     , containers
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 executable repl-hm
@@ -121,6 +127,8 @@ executable repl-hm
     , containers
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 executable repl-sf
@@ -140,6 +148,8 @@ executable repl-sf
     , containers
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 test-suite doctests
@@ -162,6 +172,8 @@ test-suite doctests
     , doctest-parallel
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
+    , unordered-containers >=0.2.20
   default-language: Haskell2010
 
 test-suite spec
@@ -188,6 +200,8 @@ test-suite spec
     , filepath
     , free-foil >=0.2.0
     , free-foil-typecheck
+    , hashable >=1.4.0
     , hspec
     , hspec-discover
+    , unordered-containers >=0.2.20
   default-language: Haskell2010

package.yaml

@@ -28,6 +28,8 @@ dependencies:
   bifunctors:
   containers:
   free-foil: ">= 0.2.0"
+  unordered-containers: ">= 0.2.20"
+  hashable: ">= 1.4.0"
 
 ghc-options:
   - -Wall