[sold]

To be clear: [] can refer to two different entities, a data constructor (empty list) and a type constructor (the list type).