A piece on the intersection of figurate numbers and modules, demonstrating how type-level programming unlocks new ideas for math and live coding music.