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