Biblioteca de tipo para Haskell
