parse error on input ‘@’ does not suggest TypeApplications

Motivation

The error message triggered below does not suggest enabling TypeApplications:

just5 = Just @Int 5
-- parse error on input ‘@’

Proposal

just5 = Just @Int 5
-- parse error on input ‘@’
-- Did you mean to enable TypeApplications?

This would likely allow HLS pick up and allow adding the pragma semi-automatically. Would also suggesst the correct solution in 90% of the cases I see this message :)

For context:

intHead = head @int
-- Pattern syntax in expression context: head@Int
-- Did you mean to enable TypeApplications?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information