Meaning Of Inductive Argument Types