Haskell types for Python.