Haskell Contracts Checker