Tue Dec 2 20:29:27 EST 2014

Can't rewrite yet

The structure of the implementation is probably "beyond repair".  To
fix this means to rewrite it, and it seems best to do that once the
typing can be expressed in Haskell.

To use a bad metaphor, this has gotten "too big to fail", i.e. it's
too useful to throw away until a full replacement is ready.