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.

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