Another example of the simplifier thrashing, getting nowhere.
See SimplUtils, Note [Unsaturated functions]

There's a test at eyeball/inline4.hs