Adapt `nofib` code to Foldable-generalised Prelude