Re: [GHC] #7893: GHCi :k shouldn't require type family arguments