(++) :: ..., (a ... b) f = ..., as