tfp-0.8: Type-level integers, booleans, lists using type families
Types.Data.List
data Cons car cdr Source
Instances
data Null Source
type family IsNull l Source
type family Head l Source
type family Tail l Source
type family Reverse l Source
type family Append l1 l2 Source