Vectoriser: avoid producing (\v -> v) v in liftSimple