Constant.product
new product combine creates the dictionary for a constant product functor.
new product combine
method map' : ('c r, 'e, 'a, 'b, 'D) map'm
method pair' : ('c r, 'e, 'a, 'b, 'D) pair'm