Class Rea.monad'

Monad offers the map, pure, pair, branch, and bind capabilities.

inherit ['R, 'D] selective'
inherit ['R, 'D] bind'