Tag: type-synonyms

Question: I did some search and thought that LiberalTypeSynonyms would allow it. It would allow to use partially applied type synonyms as argument to Type in some cases. But the following does not work in TypeApplications, why and is it ...