Unit unboxed tuples

[Ganesh Sittampalam]

On 23/12/2011 13:46, Ian Lynagh wrote:
> On Fri, Dec 23, 2011 at 01:34:49PM +0000, Simon Peyton-Jones wrote:
>>
>> Arguments   Boxed      Unboxed
>> 3           ( , , )    (# , , #)
>> 2           ( , )      (# , #)
>> 1                      	
>> 0           ()         (# #)
>>
>> Simple, uniform.
> 
> Uniform horizontally, but strange vertically!

It's worth mentioning that if you want to write code that's generic over
tuples in some way, the absence of a case for singletons is actually a
bit annoying - you end up adding something like a One constructor to
paper over the gap. But I can't think of any nice syntax for that case
either.

Cheers,

Ganesh