Types within WILLIS