Haskell STatic ANalyser
