<<1To1>> resolves to ()