Utilitários para escrever plugins de verificação de tipos GHC
