Types within KENNEDY