Foo.this.I.+: (other: Foo.I.type)Unit