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