Tutorial on using advanced type system in Julia?

Total hack, but this seems to work…

julia> fn = x::Int->x/2
#32 (generic function with 1 method)

julia> eltype(typeof(map(fn, [])))
Float64

:slight_smile: Seems like there must be an easier way.