[GHC Proposal] Allow use of TypeApplications in SPECIALISE pragmas