Fix quadratic length example

(Still builds a huge thunk, though. But it's supposed to be an
easy-to-grasp example. :)