I implemented this function in my own language, Tao (it calls out to an intrinsic internally which causes the compiler to choose one of the two functions during monomorphisation). It works great. I'm currently using it to specialise the pretty-printing implementation for `Str` (which is just a type alias of `[Char]`) so that it doesn't print like a list (i.e: with brackets and commas between elements): https://github.com/zesterer/tao/blob/b401bccb24724a15da851064250aedda0496c5a5/lib/std/fmt.tao#L60-L70

(I currently call it 'dispatch', although I'm going to change this)