Cons
ConsF.Rd
Construct a Cons value of the list base functor
ConsF(x, xs)
First list element
Subsequent list elements, constructed with Cons