Lambda evaluation. Get close but not quite working yet due to the mix of two different ST monads.
Lambda evaluation. Get close but not quite working yet due to the mix of two different ST monads.

matthieu/witty,matthieu/witty,matthieu/witty,matthieu/witty