Confused about specified type variables using -XTypeApplications

Reid Barton rwbarton at
Thu Jan 7 18:43:35 UTC 2016

On Thu, Jan 7, 2016 at 1:39 PM, Andres Loeh <mail at> wrote:

> I find it particularly confusing that GHCi prints the types of c and d
> in exactly the same way, yet treats explicit type application on them
> differently.

Try with :set -fprint-explicit-foralls. Maybe it should be the default when
TypeApplications is enabled?

Reid Barton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list