Re: [GHC] #8931: The type defaulting in GHCi with Typeable