Introductory level tutorial about indexed monads and indexed functors.

[AlexanderKaraberov]

https://hackage.haskell.org/package/indexed-0.1/docs/Control-Monad-Indexed.html
I couldn't find any good tutorials when and how to use this.