Category.LAWS
type ('a, 'b) t
val category_1 : unit -> (('a, 'b) t, ('a, 'b) t) Law.t
val category_2 : unit -> (('a, 'b) t, ('a, 'b) t) Law.t