library for writing functional programs in python