Programação em Haskell
Apêndice B Tipos
