It would be really nice if we could define infix operators. It would be amazing if we could do mixfix. Perhaps Distfix? https://dl.acm.org/doi/pdf/10.1145/5657.5659