pub type IgnoreThen<A, B, O, U> = Map<Then<A, B>, fn(_: (O, U)) -> U, (O, U)>;
Expand description