---

A quick guide to types in functional programming

Clearing up the confusion about union, tagged unions, and algebraic data types in functional programming.