Figuring out how Brent Jackson did this.

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