A Python Static Verifier for Type-Checking in Haskell - View it on GitHub