Monad dovrebbe essere un L1 o un L2?