Algebraic Data Types ·
Sum & Product
un
seel
.com · products multiply · sums add
Values
—
Legal states
—
State
—
Field A
Field B
Legal value
Illegal state
▶ Play
←
→
🔇 Unmute
↻ Reset
Un
seel
.com · Algebraic Data Types