Something like python static analyzer tool, written in Haskell