Rea.pointed'
Pointed functor offers the map, and pure capabilities.
map
pure
inherit ['R, 'D] map'
inherit ['R, 'D] pure'