as opposed to an "inferred type"?

Michael