diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
index 23f48c5c..b27e605c 100644
--- a/docs/CHANGELOG.md
+++ b/docs/CHANGELOG.md
@@ -19,6 +19,7 @@
   - feat: `modulation_rate` support added (thanks [@go2sh](https://github.com/go2sh))
   - feat: SI prefixes for `isq::iec80000` support added (thanks [@go2sh](https://github.com/go2sh))
   - feat: a possibility to disable quantity UDLs support with `UNITS_NO_LITERALS` preprocessor define
+  - feat: a support to define ISQ derived dimensions in terms of different number or order of components
   - perf: preconditions check do not influence the runtime performance of a Release build
   - perf: `quantity_cast()` generates less assembly instructions
   - perf: temporary string creation removed from `quantity::op<<()`
diff --git a/src/systems/isq/include/units/isq/dimensions/absorbed_dose.h b/src/systems/isq/include/units/isq/dimensions/absorbed_dose.h
index 8dcb1e6c..633af9a7 100644
--- a/src/systems/isq/include/units/isq/dimensions/absorbed_dose.h
+++ b/src/systems/isq/include/units/isq/dimensions/absorbed_dose.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_absorbed_dose;
+
 template<typename Child, Unit U, DimensionOfT<dim_energy> E, DimensionOfT<dim_mass> M>
-struct dim_absorbed_dose : derived_dimension<Child, U, exponent<E, 1>, exponent<M, -1>> {};
+struct dim_absorbed_dose<Child, U, E, M> : derived_dimension<Child, U, exponent<E, 1>, exponent<M, -1>> {};
 
 template<typename T>
 concept AbsorbedDose = QuantityOfT<T, dim_absorbed_dose>;
diff --git a/src/systems/isq/include/units/isq/dimensions/acceleration.h b/src/systems/isq/include/units/isq/dimensions/acceleration.h
index b639fcca..a122ec6d 100644
--- a/src/systems/isq/include/units/isq/dimensions/acceleration.h
+++ b/src/systems/isq/include/units/isq/dimensions/acceleration.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_acceleration;
+
 template<typename Child, Unit U, DimensionOfT<dim_length> L, DimensionOfT<dim_time> T>
-struct dim_acceleration : derived_dimension<Child, U, exponent<L, 1>, exponent<T, -2>> {};
+struct dim_acceleration<Child, U, L, T> : derived_dimension<Child, U, exponent<L, 1>, exponent<T, -2>> {};
 
 template<typename T>
 concept Acceleration = QuantityOfT<T, dim_acceleration>;
diff --git a/src/systems/isq/include/units/isq/dimensions/angular_velocity.h b/src/systems/isq/include/units/isq/dimensions/angular_velocity.h
index dfea55d1..1554dced 100644
--- a/src/systems/isq/include/units/isq/dimensions/angular_velocity.h
+++ b/src/systems/isq/include/units/isq/dimensions/angular_velocity.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_angular_velocity;
+
 template<typename Child, Unit U, DimensionOfT<dim_angle> A, DimensionOfT<dim_time> T>
-struct dim_angular_velocity : derived_dimension<Child, U, exponent<A, 1>, exponent<T, -1>> {};
+struct dim_angular_velocity<Child, U, A, T> : derived_dimension<Child, U, exponent<A, 1>, exponent<T, -1>> {};
 
 template <typename T>
 concept AngularVelocity = QuantityOfT<T, dim_angular_velocity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/area.h b/src/systems/isq/include/units/isq/dimensions/area.h
index c122a00a..f03a4209 100644
--- a/src/systems/isq/include/units/isq/dimensions/area.h
+++ b/src/systems/isq/include/units/isq/dimensions/area.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_area;
+
 template<typename Child, Unit U, DimensionOfT<dim_length> L>
-struct dim_area : derived_dimension<Child, U, exponent<L, 2>> {};
+struct dim_area<Child, U, L> : derived_dimension<Child, U, exponent<L, 2>> {};
 
 template<typename T>
 concept Area = QuantityOfT<T, dim_area>;
diff --git a/src/systems/isq/include/units/isq/dimensions/capacitance.h b/src/systems/isq/include/units/isq/dimensions/capacitance.h
index 8a7f1c72..8f474587 100644
--- a/src/systems/isq/include/units/isq/dimensions/capacitance.h
+++ b/src/systems/isq/include/units/isq/dimensions/capacitance.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_capacitance;
+
 template<typename Child, Unit U, DimensionOfT<dim_electric_charge> C, DimensionOfT<dim_voltage> V>
-struct dim_capacitance : derived_dimension<Child, U, exponent<C, 1>, exponent<V, -1>> {};
+struct dim_capacitance<Child, U, C, V> : derived_dimension<Child, U, exponent<C, 1>, exponent<V, -1>> {};
 
 template<typename T>
 concept Capacitance = QuantityOfT<T, dim_capacitance>;
diff --git a/src/systems/isq/include/units/isq/dimensions/catalytic_activity.h b/src/systems/isq/include/units/isq/dimensions/catalytic_activity.h
index 82b21dc1..8a07c879 100644
--- a/src/systems/isq/include/units/isq/dimensions/catalytic_activity.h
+++ b/src/systems/isq/include/units/isq/dimensions/catalytic_activity.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_catalytic_activity;
+
 template<typename Child, Unit U, DimensionOfT<dim_time> T, DimensionOfT<dim_amount_of_substance> M>
-struct dim_catalytic_activity : derived_dimension<Child, U, exponent<T, -1>, exponent<M, 1>> {};
+struct dim_catalytic_activity<Child, U, T, M> : derived_dimension<Child, U, exponent<T, -1>, exponent<M, 1>> {};
 
 template<typename T>
 concept CatalyticActivity = QuantityOfT<T, dim_catalytic_activity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/charge_density.h b/src/systems/isq/include/units/isq/dimensions/charge_density.h
index 4e2d58b5..8625665a 100644
--- a/src/systems/isq/include/units/isq/dimensions/charge_density.h
+++ b/src/systems/isq/include/units/isq/dimensions/charge_density.h
@@ -28,11 +28,17 @@
 
 namespace units::isq {
 
-template<typename Child, Unit U, DimensionOfT<dim_electric_charge> Q, DimensionOfT<dim_length> L>
-struct dim_charge_density : derived_dimension<Child, U, exponent<Q, 1>, exponent<L, -3>> {};
+template<typename Child, Unit U, typename...>
+struct dim_charge_density;
 
 template<typename Child, Unit U, DimensionOfT<dim_electric_charge> Q, DimensionOfT<dim_length> L>
-struct dim_surface_charge_density : derived_dimension<Child, U, exponent<Q, 1>, exponent<L, -2>> {};
+struct dim_charge_density<Child, U, Q, L> : derived_dimension<Child, U, exponent<Q, 1>, exponent<L, -3>> {};
+
+template<typename Child, Unit U, typename...>
+struct dim_surface_charge_density;
+
+template<typename Child, Unit U, DimensionOfT<dim_electric_charge> Q, DimensionOfT<dim_length> L>
+struct dim_surface_charge_density<Child, U, Q, L> : derived_dimension<Child, U, exponent<Q, 1>, exponent<L, -2>> {};
 
 template<typename T>
 concept ChargeDensity = QuantityOfT<T, dim_charge_density>;
diff --git a/src/systems/isq/include/units/isq/dimensions/concentration.h b/src/systems/isq/include/units/isq/dimensions/concentration.h
index f1a82a08..f8592d98 100644
--- a/src/systems/isq/include/units/isq/dimensions/concentration.h
+++ b/src/systems/isq/include/units/isq/dimensions/concentration.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_concentration;
+
 template<typename Child, Unit U, DimensionOfT<dim_amount_of_substance> M, DimensionOfT<dim_length> L>
-struct dim_concentration : derived_dimension<Child, U, exponent<M, 1>, exponent<L, -3>> {};
+struct dim_concentration<Child, U, M, L> : derived_dimension<Child, U, exponent<M, 1>, exponent<L, -3>> {};
 
 template<typename T>
 concept Concentration = QuantityOfT<T, dim_concentration>;
diff --git a/src/systems/isq/include/units/isq/dimensions/conductance.h b/src/systems/isq/include/units/isq/dimensions/conductance.h
index 0dea42ff..6d7a71fd 100644
--- a/src/systems/isq/include/units/isq/dimensions/conductance.h
+++ b/src/systems/isq/include/units/isq/dimensions/conductance.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_conductance;
+
 template<typename Child, Unit U, DimensionOfT<dim_resistance> R>
-struct dim_conductance : derived_dimension<Child, U, exponent<R, -1>> {};
+struct dim_conductance<Child, U, R> : derived_dimension<Child, U, exponent<R, -1>> {};
 
 template<typename T>
 concept Conductance = QuantityOfT<T, dim_conductance>;
diff --git a/src/systems/isq/include/units/isq/dimensions/current_density.h b/src/systems/isq/include/units/isq/dimensions/current_density.h
index e6e1420a..f097de77 100644
--- a/src/systems/isq/include/units/isq/dimensions/current_density.h
+++ b/src/systems/isq/include/units/isq/dimensions/current_density.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_current_density;
+
 template<typename Child, Unit U, DimensionOfT<dim_electric_current> I, DimensionOfT<dim_length> L>
-struct dim_current_density : derived_dimension<Child, U, exponent<I, 1>, exponent<L, -2>> {};
+struct dim_current_density<Child, U, I, L> : derived_dimension<Child, U, exponent<I, 1>, exponent<L, -2>> {};
 
 template<typename T>
 concept CurrentDensity = QuantityOfT<T, dim_current_density>;
diff --git a/src/systems/isq/include/units/isq/dimensions/density.h b/src/systems/isq/include/units/isq/dimensions/density.h
index 3b05b5ea..cb5196d9 100644
--- a/src/systems/isq/include/units/isq/dimensions/density.h
+++ b/src/systems/isq/include/units/isq/dimensions/density.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_density;
+
 template<typename Child, Unit U, DimensionOfT<dim_mass> M, DimensionOfT<dim_length> L>
-struct dim_density : derived_dimension<Child, U, exponent<M, 1>, exponent<L, -3>> {};
+struct dim_density<Child, U, M, L> : derived_dimension<Child, U, exponent<M, 1>, exponent<L, -3>> {};
 
 template<typename T>
 concept Density = QuantityOfT<T, dim_density>;
diff --git a/src/systems/isq/include/units/isq/dimensions/dynamic_viscosity.h b/src/systems/isq/include/units/isq/dimensions/dynamic_viscosity.h
index 43add26c..ceac79e5 100644
--- a/src/systems/isq/include/units/isq/dimensions/dynamic_viscosity.h
+++ b/src/systems/isq/include/units/isq/dimensions/dynamic_viscosity.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_dynamic_viscosity;
+
 template<typename Child, Unit U, DimensionOfT<dim_pressure> P, DimensionOfT<dim_time> T>
-struct dim_dynamic_viscosity : derived_dimension<Child, U, exponent<P, 1>, exponent<T, 1>> {};
+struct dim_dynamic_viscosity<Child, U, P, T> : derived_dimension<Child, U, exponent<P, 1>, exponent<T, 1>> {};
 
 template<typename T>
 concept DynamicViscosity = QuantityOfT<T, dim_dynamic_viscosity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/electric_charge.h b/src/systems/isq/include/units/isq/dimensions/electric_charge.h
index 3f409c87..2c7db791 100644
--- a/src/systems/isq/include/units/isq/dimensions/electric_charge.h
+++ b/src/systems/isq/include/units/isq/dimensions/electric_charge.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_electric_charge;
+
 template<typename Child, Unit U, DimensionOfT<dim_time> T, DimensionOfT<dim_electric_current> C>
-struct dim_electric_charge : derived_dimension<Child, U, exponent<T, 1>, exponent<C, 1>> {};
+struct dim_electric_charge<Child, U, T, C> : derived_dimension<Child, U, exponent<T, 1>, exponent<C, 1>> {};
 
 template<typename T>
 concept ElectricCharge = QuantityOfT<T, dim_electric_charge>;
diff --git a/src/systems/isq/include/units/isq/dimensions/electric_field_strength.h b/src/systems/isq/include/units/isq/dimensions/electric_field_strength.h
index 358e8203..4bcd78f6 100644
--- a/src/systems/isq/include/units/isq/dimensions/electric_field_strength.h
+++ b/src/systems/isq/include/units/isq/dimensions/electric_field_strength.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_electric_field_strength;
+
 template<typename Child, Unit U, DimensionOfT<dim_voltage> V, DimensionOfT<dim_length> L>
-struct dim_electric_field_strength : derived_dimension<Child, U, exponent<V, 1>, exponent<L, -1>> {};
+struct dim_electric_field_strength<Child, U, V, L> : derived_dimension<Child, U, exponent<V, 1>, exponent<L, -1>> {};
 
 template<typename T>
 concept ElectricFieldStrength = QuantityOfT<T, dim_electric_field_strength>;
diff --git a/src/systems/isq/include/units/isq/dimensions/energy_density.h b/src/systems/isq/include/units/isq/dimensions/energy_density.h
index 41fe8a12..aa63cbca 100644
--- a/src/systems/isq/include/units/isq/dimensions/energy_density.h
+++ b/src/systems/isq/include/units/isq/dimensions/energy_density.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_energy_density;
+
 template<typename Child, Unit U, DimensionOfT<dim_energy> E, DimensionOfT<dim_volume> V>
-struct dim_energy_density : derived_dimension<Child, U, exponent<E, 1>, exponent<V, -1>> {};
+struct dim_energy_density<Child, U, E, V> : derived_dimension<Child, U, exponent<E, 1>, exponent<V, -1>> {};
 
 template<typename T>
 concept EnergyDensity = QuantityOfT<T, dim_energy_density>;
diff --git a/src/systems/isq/include/units/isq/dimensions/force.h b/src/systems/isq/include/units/isq/dimensions/force.h
index 92fdeb56..c8f11d75 100644
--- a/src/systems/isq/include/units/isq/dimensions/force.h
+++ b/src/systems/isq/include/units/isq/dimensions/force.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_force;
+
 template<typename Child, Unit U, DimensionOfT<dim_mass> M, DimensionOfT<dim_acceleration> A>
-struct dim_force : derived_dimension<Child, U, exponent<M, 1>, exponent<A, 1>> {};
+struct dim_force<Child, U, M, A> : derived_dimension<Child, U, exponent<M, 1>, exponent<A, 1>> {};
 
 template<typename T>
 concept Force = QuantityOfT<T, dim_force>;
diff --git a/src/systems/isq/include/units/isq/dimensions/frequency.h b/src/systems/isq/include/units/isq/dimensions/frequency.h
index 827e72c1..4b3dc285 100644
--- a/src/systems/isq/include/units/isq/dimensions/frequency.h
+++ b/src/systems/isq/include/units/isq/dimensions/frequency.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_frequency;
+
 template<typename Child, Unit U, DimensionOfT<dim_time> T>
-struct dim_frequency : derived_dimension<Child, U, exponent<T, -1>> {};
+struct dim_frequency<Child, U, T> : derived_dimension<Child, U, exponent<T, -1>> {};
 
 template<typename T>
 concept Frequency = QuantityOfT<T, dim_frequency>;
diff --git a/src/systems/isq/include/units/isq/dimensions/heat_capacity.h b/src/systems/isq/include/units/isq/dimensions/heat_capacity.h
index c838491e..6d96fb40 100644
--- a/src/systems/isq/include/units/isq/dimensions/heat_capacity.h
+++ b/src/systems/isq/include/units/isq/dimensions/heat_capacity.h
@@ -30,14 +30,23 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_heat_capacity;
+
 template<typename Child, Unit U, DimensionOfT<dim_energy> E, DimensionOfT<dim_thermodynamic_temperature> T>
-struct dim_heat_capacity : derived_dimension<Child, U, exponent<E, 1>, exponent<T, -1>> {};
+struct dim_heat_capacity<Child, U, E, T> : derived_dimension<Child, U, exponent<E, 1>, exponent<T, -1>> {};
+
+template<typename Child, Unit U, typename...>
+struct dim_specific_heat_capacity;
 
 template<typename Child, Unit U, DimensionOfT<dim_heat_capacity> C, DimensionOfT<dim_mass> M>
-struct dim_specific_heat_capacity : derived_dimension<Child, U, exponent<C, 1>, exponent<M, -1>> {};
+struct dim_specific_heat_capacity<Child, U, C, M> : derived_dimension<Child, U, exponent<C, 1>, exponent<M, -1>> {};
+
+template<typename Child, Unit U, typename...>
+struct dim_molar_heat_capacity;
 
 template<typename Child, Unit U, DimensionOfT<dim_heat_capacity> C, DimensionOfT<dim_amount_of_substance> M>
-struct dim_molar_heat_capacity : derived_dimension<Child, U, exponent<C, 1>, exponent<M, -1>> {};
+struct dim_molar_heat_capacity<Child, U, C, M> : derived_dimension<Child, U, exponent<C, 1>, exponent<M, -1>> {};
 
 template<typename T>
 concept HeatCapacity = QuantityOfT<T, dim_heat_capacity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/inductance.h b/src/systems/isq/include/units/isq/dimensions/inductance.h
index 6e6ccbea..90ae21cd 100644
--- a/src/systems/isq/include/units/isq/dimensions/inductance.h
+++ b/src/systems/isq/include/units/isq/dimensions/inductance.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_inductance;
+
 template<typename Child, Unit U, DimensionOfT<dim_magnetic_flux> F, DimensionOfT<dim_electric_current> I>
-struct dim_inductance : derived_dimension<Child, U, exponent<F, 1>, exponent<I, -1>> {};
+struct dim_inductance<Child, U, F, I> : derived_dimension<Child, U, exponent<F, 1>, exponent<I, -1>> {};
 
 template<typename T>
 concept Inductance = QuantityOfT<T, dim_inductance>;
diff --git a/src/systems/isq/include/units/isq/dimensions/luminance.h b/src/systems/isq/include/units/isq/dimensions/luminance.h
index 6167591a..5e665d58 100644
--- a/src/systems/isq/include/units/isq/dimensions/luminance.h
+++ b/src/systems/isq/include/units/isq/dimensions/luminance.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_luminance;
+
 template<typename Child, Unit U, DimensionOfT<dim_luminous_intensity> I, DimensionOfT<dim_length> L>
-struct dim_luminance : derived_dimension<Child, U, exponent<I, 1>, exponent<L, -2>> {};
+struct dim_luminance<Child, U, I, L> : derived_dimension<Child, U, exponent<I, 1>, exponent<L, -2>> {};
 
 template<typename T>
 concept Luminance = QuantityOfT<T, dim_luminance>;
diff --git a/src/systems/isq/include/units/isq/dimensions/magnetic_flux.h b/src/systems/isq/include/units/isq/dimensions/magnetic_flux.h
index 2708d0d4..67fe78e2 100644
--- a/src/systems/isq/include/units/isq/dimensions/magnetic_flux.h
+++ b/src/systems/isq/include/units/isq/dimensions/magnetic_flux.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_magnetic_flux;
+
 template<typename Child, Unit U, DimensionOfT<dim_magnetic_induction> B, DimensionOfT<dim_area> A>
-struct dim_magnetic_flux : derived_dimension<Child, U, exponent<B, 1>, exponent<A, 1>> {};
+struct dim_magnetic_flux<Child, U, B, A> : derived_dimension<Child, U, exponent<B, 1>, exponent<A, 1>> {};
 
 template<typename T>
 concept MagneticFlux = QuantityOfT<T, dim_magnetic_flux>;
diff --git a/src/systems/isq/include/units/isq/dimensions/magnetic_induction.h b/src/systems/isq/include/units/isq/dimensions/magnetic_induction.h
index 7bd59e41..023fa2fa 100644
--- a/src/systems/isq/include/units/isq/dimensions/magnetic_induction.h
+++ b/src/systems/isq/include/units/isq/dimensions/magnetic_induction.h
@@ -29,8 +29,11 @@
 
 namespace units::isq {
 
+template <typename Child, Unit U, typename...>
+struct dim_magnetic_induction;
+
 template <typename Child, Unit U, DimensionOfT<dim_voltage> V, DimensionOfT<dim_time> T, DimensionOfT<dim_length> L>
-struct dim_magnetic_induction : derived_dimension<Child, U, exponent<V, 1>, exponent<T, 1>, exponent<L, -2>> {};
+struct dim_magnetic_induction<Child, U, V, T, L> : derived_dimension<Child, U, exponent<V, 1>, exponent<T, 1>, exponent<L, -2>> {};
 
 template<typename T>
 concept MagneticInduction = QuantityOfT<T, dim_magnetic_induction>;
diff --git a/src/systems/isq/include/units/isq/dimensions/molar_energy.h b/src/systems/isq/include/units/isq/dimensions/molar_energy.h
index b1c18e96..a60bb3df 100644
--- a/src/systems/isq/include/units/isq/dimensions/molar_energy.h
+++ b/src/systems/isq/include/units/isq/dimensions/molar_energy.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_molar_energy;
+
 template<typename Child, Unit U, DimensionOfT<dim_energy> E, DimensionOfT<dim_amount_of_substance> M>
-struct dim_molar_energy : derived_dimension<Child, U, exponent<E, 1>, exponent<M, -1>> {};
+struct dim_molar_energy<Child, U, E, M> : derived_dimension<Child, U, exponent<E, 1>, exponent<M, -1>> {};
 
 template<typename T>
 concept MolarEnergy = QuantityOfT<T, dim_molar_energy>;
diff --git a/src/systems/isq/include/units/isq/dimensions/momentum.h b/src/systems/isq/include/units/isq/dimensions/momentum.h
index 5f3fad25..f7240259 100644
--- a/src/systems/isq/include/units/isq/dimensions/momentum.h
+++ b/src/systems/isq/include/units/isq/dimensions/momentum.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_momentum;
+
 template<typename Child, Unit U, DimensionOfT<dim_mass> M, DimensionOfT<dim_speed> V>
-struct dim_momentum : derived_dimension<Child, U, exponent<M, 1>, exponent<V, 1>> {};
+struct dim_momentum<Child, U, M, V> : derived_dimension<Child, U, exponent<M, 1>, exponent<V, 1>> {};
 
 template<typename T>
 concept Momentum = QuantityOfT<T, dim_momentum>;
diff --git a/src/systems/isq/include/units/isq/dimensions/permeability.h b/src/systems/isq/include/units/isq/dimensions/permeability.h
index 8bd2da53..01543a57 100644
--- a/src/systems/isq/include/units/isq/dimensions/permeability.h
+++ b/src/systems/isq/include/units/isq/dimensions/permeability.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_permeability;
+
 template<typename Child, Unit U, DimensionOfT<dim_inductance> H, DimensionOfT<dim_length> L>
-struct dim_permeability : derived_dimension<Child, U, exponent<H, 1>, exponent<L, -1>> {};
+struct dim_permeability<Child, U, H, L> : derived_dimension<Child, U, exponent<H, 1>, exponent<L, -1>> {};
 
 template<typename T>
 concept Permeability = QuantityOfT<T, dim_permeability>;
diff --git a/src/systems/isq/include/units/isq/dimensions/permittivity.h b/src/systems/isq/include/units/isq/dimensions/permittivity.h
index 4d0cb155..78b0bb44 100644
--- a/src/systems/isq/include/units/isq/dimensions/permittivity.h
+++ b/src/systems/isq/include/units/isq/dimensions/permittivity.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_permittivity;
+
 template<typename Child, Unit U, DimensionOfT<dim_capacitance> C, DimensionOfT<dim_length> L>
-struct dim_permittivity : derived_dimension<Child, U, exponent<C, 1>, exponent<L, -1>> {};
+struct dim_permittivity<Child, U, C, L> : derived_dimension<Child, U, exponent<C, 1>, exponent<L, -1>> {};
 
 template<typename T>
 concept Permittivity = QuantityOfT<T, dim_permittivity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/pressure.h b/src/systems/isq/include/units/isq/dimensions/pressure.h
index 6f5f8934..48858a28 100644
--- a/src/systems/isq/include/units/isq/dimensions/pressure.h
+++ b/src/systems/isq/include/units/isq/dimensions/pressure.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_pressure;
+
 template<typename Child, Unit U, DimensionOfT<dim_force> F, DimensionOfT<dim_area> A>
-struct dim_pressure : derived_dimension<Child, U, exponent<F, 1>, exponent<A, -1>> {};
+struct dim_pressure<Child, U, F, A> : derived_dimension<Child, U, exponent<F, 1>, exponent<A, -1>> {};
 
 template<typename T>
 concept Pressure = QuantityOfT<T, dim_pressure>;
diff --git a/src/systems/isq/include/units/isq/dimensions/radioactivity.h b/src/systems/isq/include/units/isq/dimensions/radioactivity.h
index 3457153a..591a1da9 100644
--- a/src/systems/isq/include/units/isq/dimensions/radioactivity.h
+++ b/src/systems/isq/include/units/isq/dimensions/radioactivity.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_radioactivity;
+
 template<typename Child, Unit U, DimensionOfT<dim_time> T>
-struct dim_radioactivity : derived_dimension<Child, U, exponent<T, -1>> {};
+struct dim_radioactivity<Child, U, T> : derived_dimension<Child, U, exponent<T, -1>> {};
 
 template<typename T>
 concept Radioactivity = QuantityOfT<T, dim_radioactivity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/resistance.h b/src/systems/isq/include/units/isq/dimensions/resistance.h
index 7ec09111..3af040cd 100644
--- a/src/systems/isq/include/units/isq/dimensions/resistance.h
+++ b/src/systems/isq/include/units/isq/dimensions/resistance.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template <typename Child, Unit U, typename...>
+struct dim_resistance;
+
 template <typename Child, Unit U, DimensionOfT<dim_voltage> V, DimensionOfT<dim_electric_current> C>
-struct dim_resistance : derived_dimension<Child,U, exponent<V, 1>, exponent<C, -1>> {};
+struct dim_resistance<Child, U, V, C> : derived_dimension<Child,U, exponent<V, 1>, exponent<C, -1>> {};
 
 template<typename T>
 concept Resistance = QuantityOfT<T, dim_resistance>;
diff --git a/src/systems/isq/include/units/isq/dimensions/speed.h b/src/systems/isq/include/units/isq/dimensions/speed.h
index e226fb04..d681420a 100644
--- a/src/systems/isq/include/units/isq/dimensions/speed.h
+++ b/src/systems/isq/include/units/isq/dimensions/speed.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_speed;
+
 template<typename Child, Unit U, DimensionOfT<dim_length> L, DimensionOfT<dim_time> T>
-struct dim_speed : derived_dimension<Child, U, exponent<L, 1>, exponent<T, -1>> {};
+struct dim_speed<Child, U, L, T> : derived_dimension<Child, U, exponent<L, 1>, exponent<T, -1>> {};
 
 template<typename T>
 concept Speed = QuantityOfT<T, dim_speed>;
diff --git a/src/systems/isq/include/units/isq/dimensions/surface_tension.h b/src/systems/isq/include/units/isq/dimensions/surface_tension.h
index db46257a..52cdd3f3 100644
--- a/src/systems/isq/include/units/isq/dimensions/surface_tension.h
+++ b/src/systems/isq/include/units/isq/dimensions/surface_tension.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_surface_tension;
+
 template<typename Child, Unit U, DimensionOfT<dim_force> F, DimensionOfT<dim_length> L>
-struct dim_surface_tension : derived_dimension<Child, U, exponent<F, 1>, exponent<L, -1>> {};
+struct dim_surface_tension<Child, U, F, L> : derived_dimension<Child, U, exponent<F, 1>, exponent<L, -1>> {};
 
 template<typename T>
 concept SurfaceTension = QuantityOfT<T, dim_surface_tension>;
diff --git a/src/systems/isq/include/units/isq/dimensions/thermal_conductivity.h b/src/systems/isq/include/units/isq/dimensions/thermal_conductivity.h
index b71c37af..f7da8411 100644
--- a/src/systems/isq/include/units/isq/dimensions/thermal_conductivity.h
+++ b/src/systems/isq/include/units/isq/dimensions/thermal_conductivity.h
@@ -29,8 +29,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_thermal_conductivity;
+
 template<typename Child, Unit U, DimensionOfT<dim_power> P, DimensionOfT<dim_length> L, DimensionOfT<dim_thermodynamic_temperature> T>
-struct dim_thermal_conductivity : derived_dimension<Child, U, exponent<P, 1>, exponent<L, -1>, exponent<T, -1>> {};
+struct dim_thermal_conductivity<Child, U, P, L, T> : derived_dimension<Child, U, exponent<P, 1>, exponent<L, -1>, exponent<T, -1>> {};
 
 template<typename T>
 concept ThermalConductivity = QuantityOfT<T, dim_thermal_conductivity>;
diff --git a/src/systems/isq/include/units/isq/dimensions/torque.h b/src/systems/isq/include/units/isq/dimensions/torque.h
index 0109b822..3a0c3697 100644
--- a/src/systems/isq/include/units/isq/dimensions/torque.h
+++ b/src/systems/isq/include/units/isq/dimensions/torque.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_torque;
+
 template<typename Child, Unit U, DimensionOfT<dim_force> F, DimensionOfT<dim_length> L, DimensionOfT<dim_angle> A>
-struct dim_torque : derived_dimension<Child, U, exponent<F, 1>, exponent<L, 1>, exponent<A, -1>> {};
+struct dim_torque<Child, U, F, L, A> : derived_dimension<Child, U, exponent<F, 1>, exponent<L, 1>, exponent<A, -1>> {};
 
 template<typename T>
 concept Torque = QuantityOfT<T, dim_torque>;
diff --git a/src/systems/isq/include/units/isq/dimensions/voltage.h b/src/systems/isq/include/units/isq/dimensions/voltage.h
index fd0ba06b..187d5808 100644
--- a/src/systems/isq/include/units/isq/dimensions/voltage.h
+++ b/src/systems/isq/include/units/isq/dimensions/voltage.h
@@ -28,8 +28,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_voltage;
+
 template<typename Child, Unit U, DimensionOfT<dim_power> P, DimensionOfT<dim_electric_current> C>
-struct dim_voltage : derived_dimension<Child, U, exponent<P, 1>, exponent<C, -1>> {};
+struct dim_voltage<Child, U, P, C> : derived_dimension<Child, U, exponent<P, 1>, exponent<C, -1>> {};
 
 template<typename T>
 concept Voltage = QuantityOfT<T, dim_voltage>;
diff --git a/src/systems/isq/include/units/isq/dimensions/volume.h b/src/systems/isq/include/units/isq/dimensions/volume.h
index 0972a00f..e8c3149d 100644
--- a/src/systems/isq/include/units/isq/dimensions/volume.h
+++ b/src/systems/isq/include/units/isq/dimensions/volume.h
@@ -27,8 +27,11 @@
 
 namespace units::isq {
 
+template<typename Child, Unit U, typename...>
+struct dim_volume;
+
 template<typename Child, Unit U, DimensionOfT<dim_length> L>
-struct dim_volume : derived_dimension<Child, U, exponent<L, 3>> {};
+struct dim_volume<Child, U, L> : derived_dimension<Child, U, exponent<L, 3>> {};
 
 template<typename T>
 concept Volume = QuantityOfT<T, dim_volume>;