Open
Description
Currently, Hackett provides a Tuple type defined as an ordinary ADT, which is a 2-tuple. It would be nice to transparently support arbitrarily large tuples, like Haskell does.
{{ message }}
Currently, Hackett provides a Tuple type defined as an ordinary ADT, which is a 2-tuple. It would be nice to transparently support arbitrarily large tuples, like Haskell does.