7 Jan
2016
7 Jan
'16
1:43 p.m.
On Thu, Jan 7, 2016 at 1:39 PM, Andres Loeh
I find it particularly confusing that GHCi prints the types of c and d in exactly the same way, yet treats explicit type application on them differently.
Try with :set -fprint-explicit-foralls. Maybe it should be the default when TypeApplications is enabled? Regards, Reid Barton