Now the type of `S0` matches the other arguments