Revision history of "are all elements of the list the same type" (Z13220)
Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.