# Arguments for Value types

**URL:** https://discourse.julialang.org/t/arguments-for-value-types/19845
**Category:** General Usage
**Tags:** question
**Created:** [January 20, 2019, 5:48pm UTC](https://discourse.julialang.org/t/arguments-for-value-types/19845 "2019-01-20T17:48:12Z")
**Posts on this page:** 3
**Page:** 1

<div class="post-metadata">

### Author: ![cscherrer](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/cscherrer/32/7631_2.png) [@cscherrer](https://discourse.julialang.org/u/cscherrer)
#### Post date: [January 20, 2019, 5:48pm UTC](https://discourse.julialang.org/t/arguments-for-value-types/19845/1 "2019-01-20T17:48:12Z")

</div>

Are Value types supposed to be able to take any Julia value as an argument?

```julia
julia> Val((2,42))
Val{(2, 42)}()

julia> Val(("ok","then"))
ERROR: TypeError: in Type, in parameter, expected Type, got Tuple{String,String}
Stacktrace:
 [1] Val(::Tuple{String,String}) at ./essentials.jl:683
 [2] top-level scope at none:0

```

---

<div class="post-metadata">

### Author: ![chakravala](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chakravala/32/6832_2.png) [@chakravala](https://discourse.julialang.org/u/chakravala)
#### Post date: [January 20, 2019, 6:00pm UTC](https://discourse.julialang.org/t/arguments-for-value-types/19845/2 "2019-01-20T18:00:50Z")

</div>

This has previously been discussed here

> [@How to use a type wrapping a Symbol as a type parameter?](https://discourse.julialang.org/t/how-to-use-a-type-wrapping-a-symbol-as-a-type-parameter/19628):
>
> This question has some lengthy background where I explain my understanding of the problem. If you already know how the rules Julia uses for using values inside type parameters you can skip to the end: My understanding is that currently in Julia, if you want to use a value in a type parameter, that value must be a bit value satisfying isbits(v) == true. If that works, then for instance you can do julia\> isbits(5) true julia\> Val(5) Val{5}() julia\> typeof(Val(5)) == Val{5} true This also wor…

---

<div class="post-metadata">

### Author: ![cscherrer](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/cscherrer/32/7631_2.png) [@cscherrer](https://discourse.julialang.org/u/cscherrer)
#### Post date: [January 20, 2019, 6:09pm UTC](https://discourse.julialang.org/t/arguments-for-value-types/19845/3 "2019-01-20T18:09:22Z")

</div>

Thanks, in reading the docs I had missed the part about the “isbits” constraint
