Petr

I added benchmarks for the value tuples, options and that stuff - the results are very convincing so far. More to come soon!

@manofstick just to be sure we're on the same page - which input cast do you mean? :)

Yes, correct. For reference, I guess this is the minimal code to demo the behavior difference: ```fsharp [] type Blah = interface IEquatable with member lhs.Equals rhs = failwith "bang"...

Yep I am going to add it to the PR description.

Okay so hopefully getting to the finish line here, I think I have added enough micro benchmarks and grouped them in the PR description. Next week will add AOT testing,...

/azp run

Yes, I think we will get to those as well. Next bigger one will be devirt equality, then we'll probably look into comparison. There is a lot of useful stuff...

Any tests here? :) I think we had something for pretty naming.

Mmm [this](https://github.com/dotnet/fsharp/blob/main/tests/FSharp.Compiler.UnitTests/PrettyNaming.fs) I guess? 👀

/azp run