Үүнийг мессежээр илгээх: Generic programming for indexed datatypes