math-proof haskell