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?

That sounds intriguing!

And now Chinese EVs are cheaper in the showroom (and MUCH cheaper to drive) than combustion engines.

Nobody will want to buy combustion engines in 2030, but these knuckle draggers want to lead the EU industry towards total annihilation by sticking their head in the sand.

Bah.

I mean, if you can do it in theory you should be allowed to do it in practice, which means the api isn’t quite right yet.

I feel like asking a user for a name and printing it out should be possible with Selective. Clearly you can do it bit-by-bit!