thick w attempts to compress the space of variables by throwing away w. This goes wrong if we're applying it to w, but is fine otherwise. I use option types to pass exceptions.

Next: through thick and thin | Prev: thin's code | Up: contents