GADTRecords

Synopsis

• data H1 a b where
  • C1 :: H1 a b
  • C2 :: Ord a => [a] -> H1 a a
  • C3 :: {
    • field :: Int
    } -> H1 Int Int
  • C4 :: {
    • field2 :: a
    } -> H1 Int a

Documentation