Enum cases as protocol witnesses