-
John van Groningen authored
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
8ce28293
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