I’ve been working on a branch that implements both multidispatch (selecting the impl for a trait based on more than one input type) and …