> 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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
