This intention attempts to specify type of binding explicitly if it can infer type.