Oskar Gewalli

So perhaps a PR @cmeeren with the change?

Perhaps. Such a way could be to create a separate library that is the subset (this would be a variant of #328). Using for instance ifdefs in order to have...

Yes, that sounds like nice user experience. Then you wouldn't need to install a separate lib to get the things that makes sense from a beginner perspective.

What was the suggestion from @dsyme regarding using the return type for type inference?

I'm experimenting with compiling F#+ with .net 5 in #393 , travis and github actions seem to support it.

It's a bit of a pain since as you say Choice doesn't map well to Either

Sounds like a solid plan (2).

Though, question is what kind of preferences are shown in the f# community around order for `bimap`?

It behaves as I would expect. So it could be that it's defined along the intuition that would make sense from an f# perspective looking at type signatures.

The Choice structure has a definite semantic order. Result does not.