Semigroupoid.I
val (<.) : ('a, 'b) S.t -> ('c, 'a) S.t -> ('c, 'b) S.t
val (>.) : ('a, 'b) S.t -> ('b, 'c) S.t -> ('a, 'c) S.t