updating MonadTypes with new accessibilty requirement.