@rog.bsky.socialOct 1, 2026, 4:02 PMStupidly niche joke:```forall That {man: Man}```#rabbieburns #scotstrad #cuelang #quantified