https://5dok.org/document/lzg22vny-analysis-of-a-multiple-dispatch-algorithm.html