Rea.sync'
monad' and errors' effect capabilities.
monad'
errors'
inherit ['R, 'D] monad'
inherit ['R, 'D] errors'