Confused about specified type variables using -XTypeApplications

Andres Loeh mail at andres-loeh.de
Thu Jan 7 18:59:32 UTC 2016


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

That's indeed helpful to see the difference. Still not sure if the
(original) datatype and class-versions should have an explicit rather
than an implicit kind quantification ...

Cheers,
  Andres


More information about the ghc-devs mailing list