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"