Module type Category.WITH_ID

Minimal interface using id.

type ('a, 'b) t

The type held by the Category.

val id : ( 'a, 'a ) t

The identity morphism.