Re: [julia-users] How to have type parameters T less than DenseArray{AbstractFloat} in the covariant sense?

[Gnimuc]

sorry, i misunderstood what you want to define. 

julia> F = TypeVar(:F, Union{}, AbstractFloat)
F<:AbstractFloat

julia> type Boo{T<:DenseArray{F}}
           x::T
         end

julia> Boo
Boo{T<:DenseArray{F<:AbstractFloat,N}}

julia> Baz([1.2])
Baz{Array{Float64,1}}([1.2])

is this what you want?