# RFC: add a Type called AnyType that's subtyped by all other types except Any

**URL:** <https://discourse.julialang.org/t/rfc-add-a-type-called-anytype-thats-subtyped-by-all-other-types-except-any/93956>\
**Category:** Internals & Design\
**Tags:** proposal, type, dispatch, rfc\
**Created:** [February 2, 2023, 10:52pm UTC](https://discourse.julialang.org/t/rfc-add-a-type-called-anytype-thats-subtyped-by-all-other-types-except-any/93956 "2023-02-02T22:52:48Z")\
**Posts on this page:** 1\
**Showing post:** 3

<div class="post-metadata">

**Author:** ![uniment](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/uniment/32/24532_2.png) [@uniment](https://discourse.julialang.org/u/uniment)\
**Post date:** [February 3, 2023, 3:50am UTC](https://discourse.julialang.org/t/rfc-add-a-type-called-anytype-thats-subtyped-by-all-other-types-except-any/93956/3 "2023-02-03T03:50:29Z")

</div>

Related:

> [@What does \`\<:\` as a type parameter mean?](https://discourse.julialang.org/t/what-does-as-a-type-parameter-mean/93916):
>
> julia\> Array{\<:,2} Matrix{\<:} (alias for Array{\<:, 2}) julia\> Array{\<:,2} === Array{\<:Any,2} false julia\> Matrix{\<:} isa UnionAll false I wonder if Matrix{\<:} means anything?

---

_[View the full topic](https://discourse.julialang.org/t/rfc-add-a-type-called-anytype-thats-subtyped-by-all-other-types-except-any/93956)._