Re: Bikeshedding request for GHCi's :type

Hi,

If you ask GHCi to *evaluate* a polymorphic expression, then it will ...

Sure, I understand the motivation for defaulting, and I am not suggesting to change anything there. What I am saying is that I see no way to have ghci show * the defaulted type, * or the even the fact that defaulting did happen. - J.