Well typed functional abstractions in python.
An implementation of well typed functional abstractions in Python inspired by Haskell.