Compartment.signaller -> object method side1 : ('a, 'b) Compartment.transport method side2 : ('b, 'a) Compartment.transport end