Sat May 26 18:27:19 EDT 2018
Still didn't get very far. A similar probing approach could be used.
Ideally, this is encoded in the types, but I'm not going to put in the
OK, done. Wasn't that hard in the end. Just confused, I guess.