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