هل يجب أن يكون Monad L1 أم L2؟