on Monads and some updates