İris çok çok havalı (ama benim için hâlâ kafa karıştırıcı çünkü mantık hakkında hiç bilgim yok ve ilk tanışmam HoTT sayesinde oldu, bu yüzden birdenbire bağımlı tipleri kaybetmek şaşırtıcı ve biraz hantal).