DataCon

Main data types

data DataCon
data DataConIds
type ConTag

Type construction

Type deconstruction

Predicates on DataCons

Splitting product types