Rea.selective'
Selective functor offers the map, pure, pair, and branch capabilities.
map
pure
pair
branch
inherit ['R, 'D] applicative'
inherit ['R, 'D] branch'