Types within IDRA