Generic Function Specialization

FWIW, there was some discussion of this a few years back that might be helpful: Proposal: Allow explicit type parameter specification in generic function call - #7 by Douglas_Gregor