Interface Computers.Arity1_1<O,​I>