Geen guts, geen glorie!

Yes

Agreed. The noisy-pixelated style looks like it has a specular map instead of a diffuse texture.

Frans Timmermans gedroeg zich ook als de grote verliezer, dan speel je dit soort berichtgeving in de kaart.

Rewriting Parallel Identity x to x is not valid in general, it doesn’t even type-check! It only works here because GHC inserts identities of unit, and (x, ()) ~ x.

I love your follow up post too! Are you going to post about it here?

Ah it is so you can tabulate functions with infinite domain as long as the majority of inputs map to nil?

Awesome stuff! But after reading the slides it is still not clear to me why relations need a default nil value?