@S11001001 Why not make declare `IS` as `IS[+_]`?