24 Dec
2011
24 Dec
'11
1:39 a.m.
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