Indexed_applicative.WITH_PURE_MAP_AND_PRODUCT
Minimal interface using map
and product
.
include Indexed_apply.WITH_MAP_AND_PRODUCT
with type ('a, 'index) t := ('a, 'index) t
include Indexed_functor.WITH_MAP with type ('a, 'index) t := ('a, 'index) t