¿Debería Monad ser un L1 o un L2?