Verificação de incompatibilidade entre versões de tempo de compilação e execução da API GHC
