Re: [GHC] #11986: Record fields not defined with pattern synonym in ghci