sig   val ( <|> ) :     'a Tyre.t -> 'b Tyre.t -> [ `Left of 'a | `Right of 'b ] Tyre.t   val ( <&> ) : 'a Tyre.t -> 'b Tyre.t -> ('a * 'b) Tyre.t   val ( *> ) : 'b Tyre.t -> 'a Tyre.t -> 'a Tyre.t   val ( <* ) : 'a Tyre.t -> 'b Tyre.t -> 'a Tyre.t end