Fusion rules for monadic indexing