Plugin para verificação de tipos no GHC
