ZERO = f => x => x
