AsDimensionalAs is now an open type family associated with the DimensionalAs typeclass, which means that (hypothetically) it could be extended to cover some new type similar to Indexed.