In addition, if inBindC has an input binding to a variable, for example variable x, and outBindC has an output binding or partial output binding for variable x, namely x:S, then the type description of inBindC must accept the type description of outBindC. In this regard, T accepts S.