How do you use TypeApplications in Haskell? : <p>With <code>-XTypeApplications</code> in GHC 8.0, you can specify types explicitly with <code>@</code> preceding function arguments. What types does it exactly specify, especially when several <code>@</code> are introduced?</p>
