Semigroupoid.LAWS
type ('a, 'b) t
val semigroupoid_1 : unit -> (('a, 'b) t, ('c, 'a) t -> ('d, 'c) t -> ('d, 'b) t) Law.t