# Type compare

**URL:** https://discourse.julialang.org/t/type-compare/87351
**Category:** New to Julia
**Created:** [September 16, 2022, 6:43am UTC](https://discourse.julialang.org/t/type-compare/87351 "2022-09-16T06:43:46Z")
**Posts on this page:** 1
**Showing post:** 6

<div class="post-metadata">

### Author: ![yakir12](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/yakir12/32/297_2.png) [@yakir12](https://discourse.julialang.org/u/yakir12)
#### Post date: [September 16, 2022, 8:45am UTC](https://discourse.julialang.org/t/type-compare/87351/6 "2022-09-16T08:45:38Z")

</div>

Without any context, `DataType` would work:

```julia
julia> struct A
       x
       end

julia> struct B
       x
       end

julia> typeof((A, B(1)))
Tuple{DataType, B}

julia> (A, B(1)) isa Tuple{DataType, B}
true

```

But I have no idea what this would serve or how exactly this is too “limited” (I think you mean the opposite, permissive).

It does sound a lot like a question about multiple dispatching. Try to extract a MWE from your full case. Take your time to read [Please read: make it easier to help you](https://discourse.julialang.org/t/please-read-make-it-easier-to-help-you/14757) and I’m sure we’d be able to help you.

---

_[View the full topic](https://discourse.julialang.org/t/type-compare/87351)._