Tipos

A capacidade de definição de novos tipos é essencial para se lidar com a complexidade de problemas, pois permite que se crie tipos associados ao domínio do problema em questão. Por exemplo, é mais simples pensar em termos de um número complexo que em uma dupla de números, um real e outro imaginário, ou em termos de uma pessoa com diversos atributos que em termos de uma lista de strings, onde cada posição na lista representa um atributo diferente.

Em Haskell, podemos criar novos tipos de diversas formas, como veremos a seguir, bem como definir funções que manipulem especificamente estes tipos.