Adicionais para o pacote 'contravariant'
