Ask HN: How can group theory be used in software development?

I'm remembering stuff about Haskell/fp stuff as I type this (function composition is like a function semigroup operator?), but a larger-sourced catalogue everyone can peruse and contribute to seems like a good start for a useful conversation