It would be nice if you could ignore some warnings. Something like ``` (setq flycheck-purescript-ignore-warnings '("MissingTypeDeclaration")) ```