Static analysis for haskell code