Могу ли я добавить информацию о типе в аргументы, которые являются функциями?

Рассмотрим следующий пример:

function f{T} (func, x::Int)
    output = Dict{Int, Any}()
    output[x] = func(x)
    return output
end 

Мне не нравится, что я должен сказатьAny для типа значения словаря. Я бы предпочел сделать следующее:

function f{T} (func::Function{Int->T}, x::Int)
    output = Dict{Int, T}()
    output[x] = func(x)
    return output
end 

Могу ли я предоставить подсказки типа таких функций? Я вроде хочу сказать следующее

f :: (Int -> T), Int -> Dict{Int, T}