[throwaway2037]

Can you instantiate an empty type? If yes, are all instances unique? Years ago, I was surprised to learn how C++ handles the (essentially) empty type (no data): A single byte to differentiate each instance.

[kragen]

that's unit. the empty type is a type you cannot instantiate