aula sobre Tipos abstratos, polimorfismo paramétrico limitado, interpretadores simples