pub trait SSOrer: Sized { fn ss_or<B>(self, b: B) -> SSOR<Self, B> { ... } fn p_then<B>(self, b: B) -> PartThen<Self, B> { ... } }