Category.I
val (<.) : ('a, 'b) C.t -> ('c, 'a) C.t -> ('c, 'b) C.t
val (>.) : ('a, 'b) C.t -> ('b, 'c) C.t -> ('a, 'c) C.t