How is the sequence of syntactic sugar ([1..6]) translated into the syntax of the actual list (1: 2: 3 ... 6)?

Question

How does Haskell translate [ and ] into list definitions? Are they value constructors or something else? Are they new? Is there a way to define outfix syntax rather than infix?

Answer 1

This syntax is defined in Report , and in particular in section 3.10 . [1..6] is defined as enumFromTo 1 6 . You cannot define the syntax yourself.