mkFunTy, mkFunTys, exactTyVarsOfTypes,
tidyOpenTypes )
import VarSet ( elemVarSet, mkVarSet )
-import Kind ( liftedTypeKind )
+import Kind ( liftedTypeKind, openTypeKind )
import TcUnify ( boxySplitTyConApp, boxySplitListTy,
unBox, stripBoxyType, zapToMonotype,
boxyMatchTypes, boxyUnify, boxyUnifyList, checkSigTyVarsWrt )
find_inst tv
| not (tv `elemVarSet` res_tvs) = return (mkTyVarTy tv)
| Just boxy_ty <- lookupTyVar subst tv = return boxy_ty
- | otherwise = do { tv <- newBoxyTyVar
+ | otherwise = do { tv <- newBoxyTyVar openTypeKind
; return (mkTyVarTy tv) }
; pat_tys' <- mapM find_inst pat_tvs