1 files changed, 1 insertions, 1 deletions
diff --git a/TypeVar.hs b/TypeVar.hs
index 329caf6..436cde4 100644
--- a/TypeVar.hs
+++ b/TypeVar.hs
@@ -61,7 +61,7 @@ instance Show Var where
 
 
 mkEqualsType :: Type -> Type
-mkEqualsType ty = typeFunc typeBool (typeFunc ty ty)
+mkEqualsType ty = typeFunc ty (typeFunc ty typeBool)
 
 
 typeFunc :: Type -> Type -> Type