module Record where

-- | A record
data Record a b c d e f
  = RecordA
      {
      -- | 
      a :: a,
      -- | 
      b :: b
      }
  | Pair c d
  | RecordB
      {
      -- | 
      c :: e,
      -- | 
      d :: f
      }
  | Void