The translator compilers.

But fails on one of the Okasaki examples.