A multiple-dispatch example