Type-safe functional tools for Python.
Algebraic data types for Python (experimental, not actively maintained)
Implementation of Alegbraic Data Types (ADTs) in Python