1 2 3 4 5 6 7 8 9
{-# LANGUAGE PatternSynonyms, DisambiguateRecordFields #-} module T14747 where import T14747A pattern T{x} = [x] e = S { x = 42 }