Ignat Insarov

@Daniel-Diaz That is how I was working around it, but I decided to remove this `Num` instance because it is dangerous, as I described in the first post above. So...

Why not make `once` an alias to `withTests 1` then?

I rebased, there are no test failures, `changelog.d` updated, ready to ship.

I shall look into it. At least I can draft some code that type checks and then we shall see if there is improvement in bench marks.

And there is improvement in bench marks!

Specifically to the choice between `vectorToMaybe` and `headMaybe` — even though the former has a precedent in `Data.Maybe.listToMaybe`, the latter is more precise. There are any number of ways to...

I agree that consistency is a possible way to refine the ordering of candidate names. But thumbs _(either up or down)_ only distract — arguments feed the soul. **And ideas...

Another possible principle of naming is _«… or nothing»_, like `maximumByOrNothing` for example. Since _«by»_ cannot be followed by _«or»_, it is clear that something should be put in between.

Generating documentation from property checks seems to be technically infeasible. Right now the code we have is packaged as it is — there are no instruments to release generated code,...

@Shimuuar   As to naming, I added your arguments to the summary. But of course it is possible that I do not understand your point of view well enough, so let...