Is there `<[[T; N]]>::flatten`?

Yes, probably ZSTs would need to be special-cased there (hopefully everything size_of-related would be optimized away).