Occurrence type Argument order