Which takes us back to this:

https://haskellforall.com/2026/03/a-sufficiently-detailed-sp...