Mastodon FeedAug 8, 2026, 8:48 AM dysfun@treehouse.systems ("gaytabase") wrote: the elaborator implies the existence of the plainerator