Rea.map'
map capability mix-in.
map
method virtual map' : ('R, 'e, 'a, 'b, 'D) map'm
Implements the map capability.