A Python Static Verifier for Type-Checking in Haskell