@@ -73,7 +73,7 @@ instance Unifiable Check Kind where
73kindOf :: ModuleName -> Type -> Check Kind
73kindOf :: ModuleName -> Type -> Check Kind
74kindOf _ ty =
74kindOf _ ty =
75 rethrow (mkErrorStack "Error checking kind" (Just (TypeError ty)) <>) $
75 rethrow (mkErrorStack "Error checking kind" (Just (TypeError ty)) <>) $
76− fmap tidyUp . liftUnify $ starIfUnknown <$> infer ty
76+ fmap (starIfUnknown . tidyUp) . liftUnify $ infer ty
78 tidyUp (k, sub) = sub $? k
78 tidyUp (k, sub) = sub $? k