Types within IEMCA