learned something this morning

Church encoding of algebraic data types. Kind of obvious, but cool.
An ADT is a sum of products, so there.

Can also express it via combinators. Like, how does a binary tree look like via SKI, eh. Or just SK. Or just X (this one is brainfuck, I guess).