Related: https://github.com/guillaumebrunerie/SmashProduct https://www.math.lmu.de/~petrakis/Franz.pdf
