Safe HaskellSafe

GADTRecords

Synopsis

Documentation

data H1 a b where #

h1

Constructors

C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a
C3

Fields

C4

Fields