Re: [GHC] #9609: GHCi gives overly specific error message for unknown constructor