Prelude.Lift benchmarks feedback.

The code looks kind of messy to me right now but I did quite a few refactorings and I'll have to come back in a couple of hours and look at it with fresh eyes to see what I could have done better.

I lift the composed action so that the benchmarks run faster.
Writer overflows as you said it would.

Please take a look when you have the time, and tell me if it's this what you had in mind.