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.