1 2 3 4 5 6 7 8 9
-- Test type errors contain field names, not selector names {-# LANGUAGE DuplicateRecordFields #-} data T = MkT { x :: Int } y = x x main = return ()