enhance api documentation.
add MonadHas class.