in simplifyAndCheckTypeApplication add alternative for TempQV / TempQCV,
this is used if a type synonym is expanded that creates a type application of an existential variable, for example :: T a b :== a (T2 b), and a is existential
Please register or sign in to comment