Types within EDWARDS