A List of zero elements.
There are no ontological restrictions on Nil, but the expectation is that it has no first element or rest. Conformance to this expectation is strongly recommended.