Provide Do-Notation support for Indexed Monad. Withouth this, the Indexed interfaces use
operators that do not collide with the non-Indexed interfaces.
Provide Do-Notation support for Transition Indexed Monad.
Withouth this, the Indexed interfaces use operators that
do not collide with the non-Indexed interfaces.