Должен ли Monad быть L1 или L2?