adt.py (pypi): Tagged union types and immutable records (product types)
Keywords: adt|types|immutable|functional