{-# LANGUAGE Records #-} module RecIdent where data Rec0 = Rec type Rec = { int :: Int } type Rec2 = { int2 :: Int }