pub trait Incoming { type Expected; }
Indicate that a protocol will receive a message, and specify what type it is, so we can decide in an offer which arm we got a message for.