1 2 3 4
{-# LANGUAGE DisambiguateRecordFields #-} module T5372 where import qualified T5372a notScope (MkS { x = n }) = n