Support for Warnings in the code analysis. 
For example, add  "ghc-options: -Wall" to Cabal file to get several warnings like "Top-level binding with no type annotation"