Re: [Haskell-cafe] Announcing OneTuple-0.1.0

Jason Dagit wrote:

Jason Dusek wrote:

...

John Dorsey wrote:

...

Now you can: * Solve any of the software problems that cannot be solved without the singleton tuple !

What would those be? I'm still trying to figure out how a singelton tuple is really distinct from a plain value.

Careful when making (or not making) this distinction. It could lead to infinite types such as, a = OneTuple a.

Perhaps I am lacking in imagination, but I still can't see the value of one tuples. -- _jsn