6 ms·
To be clear: [] can refer to two different entities, a data constructor (empty list) and a type constructor (the list type).
by sold 12y ago
To be clear: [] can refer to two different entities, a data constructor (empty list) and a type constructor (the list type).