Category.WITH_ID
Minimal interface using id.
id
type ('a, 'b) t
The type held by the Category.
Category
val id : ('a, 'a) t
The identity morphism.