Re: [GHC] #16358: Confusing ghci error message