Name_Carrying_Type_Inference.SimplyTyped