No, I don't want to share my browsing data with you.

I've accumulated three apps on my dock that feature a Z icon 🤣(they're Zed, Zulip, and Zotero)

TIL that you can have Agda-like decidable equality in Haskell using the singleton package.