diff --git a/src/DynamicQuantities.jl b/src/DynamicQuantities.jl
index e363bed7..3730d3ca 100644
--- a/src/DynamicQuantities.jl
+++ b/src/DynamicQuantities.jl
@@ -24,6 +24,7 @@ include("units.jl")
 include("constants.jl")
 include("uparse.jl")
 include("symbolic_dimensions.jl")
+include("static_dimensions.jl")
 include("complex.jl")
 include("register_units.jl")
 include("disambiguities.jl")
diff --git a/src/disambiguities.jl b/src/disambiguities.jl
index 57ff677d..17aa88d8 100644
--- a/src/disambiguities.jl
+++ b/src/disambiguities.jl
@@ -109,3 +109,14 @@ for (type, _, _) in ABSTRACT_QUANTITY_TYPES, numeric_type in (Bool, BigFloat)
         end
     end
 end
+
+
+################################################################################
+# Disambiguate StaticDimensions constructors ###################################
+################################################################################
+StaticDimensions(::Type{R}; kws...) where {R} = StaticDimensions(Dimensions(R; kws...))
+StaticDimensions{Rold}(::Type{R}; kws...) where {Rold,R} = StaticDimensions(Dimensions(R; kws...))  # TODO: Is this correct?
+StaticDimensions{R,D}(d::AbstractDimensions) where {R,D} = (d = convert(D, d); StaticDimensions(d))
+StaticDimensions{R,D}(dims...) where {R,D} = StaticDimensions(constructorof(D)(dims...))
+StaticDimensions{Rold,D}(::Type{R}; kws...) where {Rold,D,R} = StaticDimensions(constructorof(D)(R; kws...))
+################################################################################
diff --git a/src/static_dimensions.jl b/src/static_dimensions.jl
new file mode 100644
index 00000000..234b43d1
--- /dev/null
+++ b/src/static_dimensions.jl
@@ -0,0 +1,208 @@
+abstract type AbstractStaticDimensions{R,D,dim} <: AbstractDimensions{R} end
+
+"""
+    StaticDimensions{R,D<:AbstractDimensions{R},dim} <: AbstractStaticDimensions{R,D,dim}
+
+Experiment to store the dimensions as a type parameter, so that one
+can have Unitful-like behavior within DynamicQuantities.
+
+This is not yet stable, so this type is not exported.
+"""
+struct StaticDimensions{R,D<:AbstractDimensions{R},dim} <: AbstractStaticDimensions{R,D,dim}
+
+    StaticDimensions(d::AbstractDimensions) = new{eltype(d),typeof(d),d}()
+    StaticDimensions(; kws...) = StaticDimensions(Dimensions(; kws...))
+    StaticDimensions{_R}(d::AbstractDimensions) where {_R} = (d = convert(with_type_parameters(typeof(d), _R), d); StaticDimensions(d))
+end
+
+Base.propertynames(::AbstractStaticDimensions{R,D,dim}) where {R,D,dim} = propertynames(dim)
+Base.getproperty(::AbstractStaticDimensions{R,D,dim}, k::Symbol) where {R,D,dim} = getproperty(dim, k)
+Base.getindex(::AbstractStaticDimensions{R,D,dim}, i::Symbol) where {R,D,dim} = getindex(dim, i)
+
+raw_dimension(::Type{<:AbstractStaticDimensions{R,D,dim}}) where {R,D,dim} = dim
+dimension_names(::Type{<:AbstractStaticDimensions{R,D}}) where {R,D} = dimension_names(D)
+
+constructorof(::Type{<:StaticDimensions}) = StaticDimensions
+with_type_parameters(::Type{StaticDimensions{Rold,D}}, ::Type{R}) where {Rold,D,R}  = StaticDimensions{R,D}
+
+function Base.promote_rule(::Type{StaticDimensions{R1,D1}}, ::Type{StaticDimensions{R2,D2}}) where {R1,D1,R2,D2}
+    D = promote_type(D1, D2)
+    return StaticDimensions{eltype(D),D}
+end
+function Base.promote_rule(::Type{StaticDimensions{R1,D1,dim1}}, ::Type{StaticDimensions{R2,D2,dim2}}) where {R1,D1,dim1,R2,D2,dim2}
+    D = promote_type(D1, D2)
+    R = eltype(D)
+    dim1 == dim2 ? StaticDimensions{R,D,convert(D, dim1)} : StaticDimensions{R,D}
+end
+for D_type in (:SymbolicDimensions, :SymbolicDimensionsSingleton, :Dimensions)
+    @eval begin
+        function Base.promote_rule(::Type{StaticDimensions{R1,D1,dim1}}, ::Type{$D_type{R2}}) where {R1,D1,dim1,R2}
+            return promote_type(D1, $D_type{R2})
+        end
+        function Base.promote_rule(::Type{$D_type{R1}}, ::Type{StaticDimensions{R2,D2,dim2}}) where {R1,R2,D2,dim2}
+            return promote_type($D_type{R1}, D2)
+        end
+    end
+end
+
+function Base.convert(::Type{Q1}, q::Q2) where {
+    T1,D1,Q1<:AbstractQuantity{T1,D1},
+    dims,
+    Q2<:AbstractQuantity{<:Any,<:AbstractStaticDimensions{<:Any,<:Any,dims}}
+}
+    if q isa Q1
+        return q
+    end
+    val = ustrip(q)
+    # First, construct dynamic version in the input types
+    q_dynamic = new_quantity(Q2, val, dims)
+    # Then, convert that
+    return convert(Q1, q_dynamic)
+end
+
+Base.:(==)(::AbstractStaticDimensions{<:Any,<:Any,dim1}, ::AbstractStaticDimensions{<:Any,<:Any,dim2}) where {dim1,dim2} = dim1 == dim2
+@generated function map_dimensions(f::F, args::AbstractStaticDimensions...) where {F<:Function}
+    cons = constructorof(promote_type(args...))
+    dims = map(raw_dimension, args)
+    return :($(cons)(map_dimensions(f, $(dims...))))
+end
+@generated function all_dimensions(f::F, args::AbstractStaticDimensions...) where {F<:Function}
+    cons = constructorof(promote_type(args...))
+    dims = map(raw_dimension, args)
+    return :($(cons)(map_dimensions(f, $(dims...))))
+end
+# TODO: Should these have Base.@constprop :aggressive?
+
+
+
+################################################################################
+# Utilities ####################################################################
+################################################################################
+function Base.zero(::Type{Q}) where {dim,D<:AbstractStaticDimensions{<:Any,<:Any,dim},T,Q<:AbstractQuantity{T,D}}
+    return new_quantity(Q, zero(T), StaticDimensions(dim))
+end
+function Base.oneunit(::Type{Q}) where {dim,D<:AbstractStaticDimensions{<:Any,<:Any,dim},T,Q<:AbstractQuantity{T,D}}
+    return new_quantity(Q, one(T), StaticDimensions(dim))
+end
+function Base.show(io::IO, ::Type{StaticDimensions{R,D,dim}}) where {R,D,dim}
+    print(io, "StaticDimensions($dim::$D)")
+end
+
+################################################################################
+# Tests ########################################################################
+################################################################################
+@testitem "Static dimensions basics" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = Quantity(1.0, StaticDimensions(length=1))
+    d = Dimensions(length=1)
+    @test typeof(x) === Quantity{Float64, StaticDimensions{eltype(d),typeof(d),d}}
+    @test sprint(show, x) == "1.0 m"
+
+    y = Quantity(1.0, StaticDimensions(time=-1))
+    @test sprint(show, y) == "1.0 s⁻¹"
+
+    # Only promotes to concrete type if dimensions equal
+    @test promote_type(typeof(x), typeof(x)) === Quantity{Float64, StaticDimensions{eltype(d),typeof(d),d}}
+
+    # Otherwise, is a union:
+    @test promote_type(typeof(x), typeof(y)) === Quantity{Float64, StaticDimensions{eltype(d),typeof(d)}}
+end
+
+@testitem "Static dimensions math" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = Quantity(1.0, StaticDimensions(length=1))
+    y = Quantity(2.0, StaticDimensions(time=-1))
+
+    z = x * y
+    @test sprint(show, z) == "2.0 m s⁻¹"
+    @test z isa Quantity{Float64, <:StaticDimensions}
+    @test z == Quantity(2.0, StaticDimensions(length=1, time=-1))
+
+    z2 = x / y
+    @test sprint(show, z2) == "0.5 m s"
+    @test z2 isa Quantity{Float64, <:StaticDimensions}
+    @test z2 == Quantity(0.5, StaticDimensions(length=1, time=1))
+
+    # Check if inference works
+    @inferred x * y
+    @inferred x / y
+end
+
+@testitem "Conversion" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = 1.0u"m"
+    y = convert(Quantity{Float64,StaticDimensions}, x)
+    @test y isa Quantity{Float64,<:StaticDimensions}
+    @test sprint(show, y) == "1.0 m"
+    # @show typeof(y)
+    @test dimension(x) isa Dimensions
+    @test dimension(y) isa StaticDimensions
+
+    # Should be able to convert back too:
+    x2 = convert(Quantity{Float64,Dimensions}, y)
+    @test x2 isa Quantity{Float64,<:Dimensions}
+    @test x == x2
+
+    # Should automatically convert:
+    @test x == y
+end
+
+@testitem "Static dimensions arrays" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = [1.0u"m", 1.0u"km", 10u"Constants.Mpc"]
+    x = Quantity{Float64,StaticDimensions}.(x)
+
+    # The array should automatically promote to length
+    d = dimension(1.0u"m")
+    @test eltype(x) == Quantity{Float64,StaticDimensions{eltype(d),typeof(d),d}}
+
+    # Should be able to do vectorized operations:
+    x2 = x .^ 2
+    d2 = dimension(1.0u"m^2")
+    @test eltype(x2) == Quantity{Float64,StaticDimensions{eltype(d2),typeof(d2),d2}}
+
+    # Inference of broadcasting
+    g(x) = x .^ 2
+    @inferred g(x)
+
+    f(x, y) = x .* y
+    @inferred f(x, x)
+    @test f(x, x) isa Vector{<:Quantity{Float64,<:StaticDimensions}}
+
+    # Should automatically promote to regular Dimensions
+    z = [1.0u"m", Quantity{Float64,StaticDimensions}(1.0u"m")]
+    @test z isa Vector{<:Quantity{Float64,<:Dimensions}}
+end
+
+@testitem "Using zero and oneunit now work" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = Quantity{Float64,StaticDimensions}(u"km")
+    @test zero(x) isa Quantity{Float64,<:StaticDimensions}
+    @test zero(typeof(x)) isa Quantity{Float64,<:StaticDimensions}
+    @test zero(typeof(x)) == 0 * x
+    @test dimension(zero(typeof(x))) == dimension(x)
+    @test dimension(zero(x)) == dimension(x)
+
+    @test oneunit(typeof(x)) == Quantity{Float64,StaticDimensions}(u"m")
+    @test dimension(oneunit(typeof(x))) == dimension(x)
+end
+
+@testitem "Pretty printing of type" begin
+    using DynamicQuantities
+    using DynamicQuantities: StaticDimensions
+
+    x = Quantity{Float64,StaticDimensions}(u"m/s")
+    @test sprint(show, typeof(x)) == "DynamicQuantities.Quantity{Float64, StaticDimensions(m s⁻¹::DynamicQuantities.Dimensions{DynamicQuantities.FixedRational{Int32, 25200}})}"
+end
+################################################################################
+
diff --git a/src/types.jl b/src/types.jl
index 02423100..3375082f 100644
--- a/src/types.jl
+++ b/src/types.jl
@@ -238,6 +238,7 @@ end
     return constructorof(Qout)(val, dims)
 end
 
+Base.eltype(::Union{Type{<:AbstractDimensions{R}},AbstractDimensions{R}}) where {R} = R
 dim_type(::Type{Q}) where {T,D<:AbstractDimensions,Q<:UnionAbstractQuantity{T,D}} = D
 dim_type(::Type{<:UnionAbstractQuantity}) = DEFAULT_DIM_TYPE
 
diff --git a/src/utils.jl b/src/utils.jl
index b6eaf096..9b63efd8 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -15,7 +15,7 @@ end
     # Test a function over all dimensions
     output = Expr(:&&)
     dimension_type = promote_type(args...)
-    for dim in Base.fieldnames(dimension_type)
+    for dim in dimension_names(dimension_type)
         f_expr = :(f())
         for i=1:length(args)
             push!(f_expr.args, :(args[$i].$dim))