On 2008 Oct 2, at 19:00, Jason Dagit wrote:
On Thu, Oct 2, 2008 at 2:46 PM, Jason Dusek <jason.dusek@gmail.com> wrote:
John Dorsey <haskell@colquitt.org> 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.

As for the difference, doesn't the tuple have an additional _|_ compared to a direct value?  _|_, (_|_,), (value,).

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH