Stupidly niche joke:
```
forall That {man: Man}
```
#rabbieburns #scotstrad #cuelang #quantified