Document release when TypeApplications allowed declaring variables as inferred
The extension TypeApplications is available since 8.0.1. However, manually defining inferred variables was released with 9.0.1. Without a mention of that release, it is confusing why this feature causes a syntax error with an earlier version.
This change aims to clarify since which GHC version it became possible to manually define inferred variables.