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