Cat having an existential typing crisis