heh, this works: Set^O -> Cat^O