A category for PrototypeBasedProgramming ---- CategoryCategory