Re: [GHC] #14983: Have custom type errors imply Void