Mais de um tipo...

• Cada coisa tem pelo menos um tipo

  • O tipo é apenas a caracterização do que a “coisa” pode fazer ou do que podemos fazer com ela em um determinado contexto

• Problema: há coisas com mais de um tipo!

• Exemplo: uma pessoa também pode ser

  • um estudante
  • um filho
  • um empregado, etc.

• O tipo relevante depende do contexto!