Rea.product'
Product functor offers the map, and pair capabilities.
map
pair
inherit ['R, 'D] map'
inherit ['R, 'D] pair'