Because we've now got full support for zero-sized types this is finally possible. Should we make it the precursor to tuples?
