Can we call it syntactic ashtray? Because it feels like I'm sucking on 1970s ashtray when I see or use it.

Those who have read their Spivak 2017 will know that databases are just Co-presheaves of Ologs over the Kliesli Category of the Power-Set Monad, the Identity Monad, or the Giry Monad. I would like a QL that acts like it!