This needs parentheses: (f3(v::Base.Vector{T})::Bool) where {T} = true
(f3(v::Base.Vector{T})::Bool) where {T} = true