Updated composite_monadic