Values

Single(x:A)

ConsNel(x:A, xs:Nel<A>)