Done xs b stands for the body b where the xs contains hiding
and name suggestions for the free variables. This is needed to build
lambdas on the right hand side for partial applications which can
still reduce.