Interesting that scalac let me get away with this, considering that `IS` is invariant in its param.