# LANGUAGE DuplicateRecordFields #
module M where
data S = MkS { x :: Int }
data T = MkT { x :: Bool }

# LANGUAGE DuplicateRecordFields #
module M where
data S = MkS { x :: Int }
data T = MkT { x :: Bool }
