Esempio di polimorfismo [Python]

class Animale:
    def __init__(self, nome):
        self.nome = nome
class Gatto(Animale):
   def failverso(self):
       return 'Miao'
class Cane(Animale):
   def failverso(self):
       return 'Bau'
a = Gatto('Fufi')
b = Gatto('Ciccio')
c = Cane('Fido')
for animale in [a, b, c]:
    print animale.nome + ': ' + animale.failverso()