fix minor

haskell/src/FORecursiveTypes/Base.hs

@@ -58,7 +58,7 @@ lookupTypeVar :: TypeMap -> Name -> Infer Type
 lookupTypeVar Empty x = fail $ "Unbound type variable " ++ show x
 lookupTypeVar (Bind c x t) y
   | x == y = return t
-  | otherwise = lookup c y
+  | otherwise = lookupTypeVar c y
 
 matchTypeVar :: TypeMap -> Type -> Infer Type
 matchTypeVar tymap (TypeVar x) = lookupTypeVar tymap x

haskell/src/FORecursiveTypes/ContinueAfterFail.hs

@@ -103,7 +103,7 @@ lookupTypeVar :: TypeMap -> Name -> Infer Type
 lookupTypeVar Empty x = fail ["Unbound type variable " ++ show x]
 lookupTypeVar (Bind c x t) y
   | x == y = return t
-  | otherwise = lookup c y
+  | otherwise = lookupTypeVar c y
 
 matchTypeVar :: TypeMap -> Type -> Infer Type
 matchTypeVar tymap (TypeVar x) = lookupTypeVar tymap x

haskell/src/FORecursiveTypes/EliminateTypeArgumentOfCheck.hs

@@ -103,7 +103,7 @@ lookupTypeVar :: TypeMap -> Name -> Infer Type
 lookupTypeVar Empty x = fail ["Unbound type variable " ++ show x]
 lookupTypeVar (Bind c x t) y
   | x == y = return t
-  | otherwise = lookup c y
+  | otherwise = lookupTypeVar c y
 
 matchTypeVar :: TypeMap -> Type -> Infer Type
 matchTypeVar tymap (TypeVar x) = lookupTypeVar tymap x

haskell/src/FORecursiveTypes/ErrorList.hs

@@ -58,7 +58,7 @@ lookupTypeVar :: TypeMap -> Name -> Infer Type
 lookupTypeVar Empty x = fail $ "Unbound type variable " ++ show x
 lookupTypeVar (Bind c x t) y
   | x == y = return t
-  | otherwise = lookup c y
+  | otherwise = lookupTypeVar c y
 
 matchTypeVar :: TypeMap -> Type -> Infer Type
 matchTypeVar tymap (TypeVar x) = lookupTypeVar tymap x