This directory contains code from Point-Free Episode: Algebraic Data Types: Generics and Recursion
Our third installment of algebraic data types explores how generics and recursive data types manifest themselves in algebra. This exploration allows us to construct a useful, precise type that can be useful in everyday programming.