The Type and Effect System