A syntactic extension that allows applying the tuple constructor (which is an operator) in a section way:
(a,b) == (,) a b
-- With TupleSections
(a,b) == (,) a b == (a,) b == (,b) a
N-tuples
It also works for tuples with arity greater than two
(,2,) 1 3 == (1,2,3)
Mapping
This can be u...