kinds (pypi): Smart, pythonic, ad-hoc, typed polymorphism for Python
Keywords: functional|programming|fp|composition|type-safety|mypy|stubs