Rea.monad'
Monad offers the map, pure, pair, branch, and bind capabilities.
map
pure
pair
branch
bind
inherit ['R, 'D] selective'
inherit ['R, 'D] bind'