py-foldadt (pypi): Zero dependency, mypy friendly algebraic data types
Keywords: algebraic|data|types|adt