monarch_dodra: > IMO, one of the initial problems is "argument type validation" > vs "overload resolution". Perhaps in D we need some syntax & semantics to differentiate the two use cases, to make it more clear the difference to the compiler. Bye, bearophile