# SomeType{T} where T:\>SomeOtherType

**URL:** https://discourse.julialang.org/t/sometype-t-where-t-someothertype/7815
**Category:** General Usage
**Tags:** parametric-types
**Created:** [December 17, 2017, 2:36pm UTC](https://discourse.julialang.org/t/sometype-t-where-t-someothertype/7815 "2017-12-17T14:36:35Z")
**Posts on this page:** 1
**Showing post:** 2

<div class="post-metadata">

### Author: ![Tamas\_Papp](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tamas_papp/32/25949_2.png) [@Tamas\_Papp](https://discourse.julialang.org/u/Tamas_Papp)
#### Post date: [December 17, 2017, 2:52pm UTC](https://discourse.julialang.org/t/sometype-t-where-t-someothertype/7815/2 "2017-12-17T14:52:47Z")

</div>

Documentation is [in the manual](https://docs.julialang.org/en/latest/manual/types/#UnionAll-Types-1).

I am also surprised by what you get, since

```julia
julia> Vector{Number} <: (Vector{T} where T >: String)
false

```

(also, please [use backticks to quote code)](https://discourse.julialang.org/t/psa-how-to-quote-code-with-backticks/7530)

---

_[View the full topic](https://discourse.julialang.org/t/sometype-t-where-t-someothertype/7815)._