Rea.product'of
map and pair capability projection.
map
pair
method map' : ('R, 'e, 'a, 'b, 'D) map'm
method pair' : ('R, 'e, 'a, 'b, 'D) pair'm