Re: Unit unboxed tuples

Duncan,

...

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

For singleton unboxed tuples, any situation where you want to return a single value but not force its evaluation. This occurs for example with some low level functions in the implementation of ordinary lazy arrays.

That makes sense. Thanks. Leaves me wondering about nullary unboxed tuples... These give rise to a bottomless type, don't they? Cheers, Stefan