Done: Monad from Adjunction.