once https://github.com/lampepfl/dotty/pull/99 is merged, you could use `i` and save the `.show` ;-)