Cosa è indicizzato monad?

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.

• Monade con Join () invece di Bind ()
• Come usare (->) istanze di Monade e confusione su (->)
• Come funziona la monade ST?
• Come convertire A ] in B ] se A e B sono monadi?
• Convalida dei parametri di metodo in Scala, con per comprensione e monadi

Quale sarebbe un esempio di come può aiutare a tenere traccia degli effetti collaterali (o di qualsiasi altro esempio valido)?