This proposal (
https://github.com/ghc-proposals/ghc-proposals/pull/80) introduces type-level type applications, extending the existing TypeApplications syntax to work in types.
- With -XTypeApplications, you will be able to instantiate kind variables in types. For example, you could talk about `Proxy @(Type -> Type) Maybe` and `Category @(TYPE IntRep) (->)` or even `(->) @(TYPE LiftedRep) @(TYPE DoubleRep)`.
And that's it! GHC *already* has the required/specified/inferred distinction in terms, which is unchanged in types.
I believe strongly we should accept. There was no substantive dissenting commentary, just clarifying questions.
Thanks,
Richard