Unit unboxed tuples

Fri Dec 23 21:09:07 CET 2011

> Here are the kinds of the type constructors:
>  
>                 (,,) :: * -> * -> * -> *
>                 (,) :: * -> * -> *
>                 () :: *
>  
>                 (# ,, #) :: * -> * -> * -> #
>                 (# , #) :: *  -> * -> #
> BUT
>                 (#  #) :: * -> #

Just of out curiosity, what would be a compelling use case for singleton and unit unboxed tuples?

Cheers,

  Stefan