Arrow_zero.WITH_NEUTRAL
Exposes the neutral value, mandatory for each requirement.
neutral
type ('a, 'b) t
The type held by the Arrow_zero.
Arrow_zero
val neutral : ('a, 'b) t
The neutral element of the Arrow_zero.