This program:

{-# LANGUAGE TypeApplications #-}
main = print (fromDynamic @Int undefined)

produces this error message:

foo.hs:3:15: error:

• Cannot apply expression of type ‘t0’

to a visible type argument ‘Int’

• In the first argument of ‘print’, namely

‘(fromDynamic @Int undefined)’

In the expression: print (fromDynamic @Int undefined)

In an equation for ‘main’:

main = print (fromDynamic @Int undefined)

However, I'd expect it to be "Not in scope: fromDynamic"