@@ -6,7 +6,6 @@ module Type.Constrain.Module
9−import Control.Monad (replicateM)
10import qualified Data.Map.Strict as Map
9import qualified Data.Map.Strict as Map
12import qualified AST.Canonical as Can
11import qualified AST.Canonical as Can
@@ -17,7 +16,7 @@ import qualified Reporting.Region as R
17import Type.Constraint
16import Type.Constraint
18import qualified Type.Constrain.Expression as Expr
17import qualified Type.Constrain.Expression as Expr
19import qualified Type.Instantiate as Instantiate
18import qualified Type.Instantiate as Instantiate
20−import Type.Type (Type(..), Variable, (==>), mkFlexVar, never)
19+import Type.Type (Type(..), (==>), mkFlexVar, never)