reimplement foldRight in the `separate programme description from
evaluation`.