koda (conda): Type-safe functional tools for Python.
Keywords: functional-programming|python|tagged-unions|type-safety