Re: [GHC] #4017: Unhelpful error message in GHCi