Type inference, pattern matching, ADTs, and more Haskell features in pure Python (github.com)