rename 'notConsumeIf' --> 'predUnless'
tried to document contract of `prevs` in V4.hs