Standard complement of indexed monads built atop index-core