@@ -6,7 +6,6 @@ module Type.Constrain.Module
66 where
77
88
9−import Control.Monad (replicateM)
109import qualified Data.Map.Strict as Map
1110
1211import qualified AST.Canonical as Can
@@ -17,7 +16,7 @@ import qualified Reporting.Region as R
1716import Type.Constraint
1817import qualified Type.Constrain.Expression as Expr
1918import qualified Type.Instantiate as Instantiate
20−import Type.Type (Type(..), Variable, (==>), mkFlexVar, never)
19+import Type.Type (Type(..), (==>), mkFlexVar, never)
2120
2221
2322