> 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