Gerar código Haskell a partir de um tipo
