Is there any single dispatch language that lets you define multiple methods for a function of a tuple depending on the type of its elements?