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