Doing strange things with DataTypes in functions

That’s what I want :smiley:

f(::Type{T}, i::T) where T = i