1 2 3 4
{-# LANGUAGE DuplicateRecordFields #-} module T16745D where data S = MkS { foo :: Char } data T = MkT { foo :: Int }