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