module T5372a where
data S = MkS { x :: Int, y :: Bool }