Well typed functional abstractions in python.
