Visible type arguments in patterns can be used without any language extensions
To my surprise, GHC HEAD accepts this program without any language extensions:
module Bug where
import Data.Functor.Identity
f (Identity @Int x) = x
I would have expected GHC to complain about me not using the TypeApplications
extension here.