Tensor of monads