MonadT joins
A glance into MonadT