Variadic I/Os and type compatibility