let zero = function () -> Z