Re: [GHC] #15743: Nail down the Required/Inferred/Specified story