Qual è la monade indicizzata e la motivazione per questa monade?
Ho letto che aiuta a tenere traccia degli effetti collaterali. Ma la firma del tipo e la documentazione non mi portano da nessuna parte.
Quale sarebbe un esempio di come può aiutare a tenere traccia degli effetti collaterali (o di qualsiasi altro esempio valido)?