Re: Confused about specified type variables using -XTypeApplications

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