type-level linspace