boiga (pypi): Type-safe functional programming
Keywords: functional-programming|mypy|python|type-safe