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