{-# LANGUAGE Records #-}
module RecIdent where

data Rec0 = Rec

type Rec  = { int  :: Int }
type Rec2 = { int2 :: Int }