Types.Data.List

data Cons car cdr

data Null

type family IsNull l

type family Head l

type family Tail l

type family Reverse l

type family Append l1 l2