Aula 13 (T)
Tipos algébricos: exemplos tipos recursivos e polimórficos.
Análise de casos (expressões case).
O tipo (Maybe a) e exemplos da sua utilização.