23 Dec
2011
23 Dec
'11
3:09 p.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