Re: [GHC] #15467: unregisterised validation failures