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.

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

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