@Benedick: That's the only way to type, imho.