In many languages, a list structure comes pre-defined along with some basic features, so a codice_2 type constructor and operator (represented with codice_71 for infix notation) are assumed as already given here.