Use mkFunTy to ensure that invariants are respected

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 6d58e5f..794613b 100644 (file)
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -638,7 +638,7 @@ mkAppTyCoI ty1 coi1 ty2 coi2 =
 mkFunTyCoI :: Type -> CoercionI -> Type -> CoercionI -> CoercionI
 mkFunTyCoI _   IdCo _   IdCo = IdCo
 mkFunTyCoI ty1 coi1 ty2 coi2 =
-       ACo $ FunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
+       ACo $ mkFunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
 
 -- | Smart constructor for quantified 'Coercion's on 'CoercionI', see also 'mkForAllCoercion'
 mkForAllTyCoI :: TyVar -> CoercionI -> CoercionI