module Record2 where -- | A record data Record = -- | RecordA { -- | a :: Int , -- | b :: String }