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