Re: [GHC] #13870: Empty record construction for record-less constructor gives surprising runtime error (and surprisingly few warnings)