Figuring out how Brent Jackson did this.

From: http://jxnblk.com/type-system/