Types within AGA