Programação Funcional CC

Declaração de tipos polimórficos com restrições nos parâmetros.
A hierarquia de classes pré-definidas do Haskell.
Classes de constructores de tipos. A classe Functor e exemplos de instâncias desta classe.
Introdução ao conceito de mónade e apresentação da classe Monad.
O mónade IO; a notação do; funções IO do Prelude. Vários exemplos de funções com acções de input/output.

Apresentação de algumas classes pré-definidas do Haskell: Ord, Show, Num, Enum e Read. Exemplos da sua utilização.
Declaração do tipo Nat como instância de cada uma destas classes.