if we go option A, it would be managed in a way kinda like this:

```rust
impl<..., P> SomePositioningTrait for Esp3PWM<..., P> 
where
    P: Counter,
    <P as Counter>::Output: CartesianDistance<T>,
    ...some hackery here that defines T as a certain distance

```