Box<(Cat, Box<Cat>)>
@quephird von Neumann’s successor function, if von Neumann got drunk with Schrödinger one night.