<div dir="ltr">This program:<div><br></div><div><b style="font-family: 'courier new', monospace;">    {-# LANGUAGE TypeApplications #-}</b><br><b style="font-family: 'courier new', monospace;">    main = print (fromDynamic @Int undefined)</b><br><br><font face="arial, sans-serif">produces this error message:<br><br></font></div><div><font face="courier new, monospace"><b>    foo.hs:3:15: error:</b></font></div><div><font face="courier new, monospace"><b>    • Cannot apply expression of type ‘t0’</b></font></div><div><font face="courier new, monospace"><b>      to a visible type argument ‘Int’</b></font></div><div><font face="courier new, monospace"><b>    • In the first argument of ‘print’, namely</b></font></div><div><font face="courier new, monospace"><b>        ‘(fromDynamic @Int undefined)’</b></font></div><div><font face="courier new, monospace"><b>      In the expression: print (fromDynamic @Int undefined)</b></font></div><div><font face="courier new, monospace"><b>      In an equation for ‘main’:</b></font></div><div><font face="courier new, monospace"><b>          main = print (fromDynamic @Int undefined)</b></font></div><div><font face="courier new, monospace"><b><br></b></font></div><div><font face="arial, sans-serif">However, I'd expect it to be "Not in scope: fromDynamic"</font></div><div><br></div></div>