Confused about specified type variables using -XTypeApplications

[Reid Barton]

On Thu, Jan 7, 2016 at 1:39 PM, Andres Loeh <mail at andres-loeh.de> 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?

Regards,
Reid Barton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160107/496e64f5/attachment.html>