_
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.3.1 (2019-12-30)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> foo(k, ::Val{N}) where N = ntuple(i -> k, N)
foo (generic function with 1 method)

julia> foo(30, Val(5))
(30, 30, 30, 30, 30)

julia> Val{5}
Val{5}

julia> Val(5)
Val{5}()

julia> typeof(Val{5})
DataType

julia> typeof(Val(5))
Val{5}