This reminds me of [self-promotion] https://github.com/kisonecat/countdot.hs which "algebraically" describes some patterns of dots.

A