Confused about specified type variables using -XTypeApplications

Andres Loeh mail at
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 ...


More information about the ghc-devs mailing list