Tyson Williams

The first error is that `x` can't be used as an identifier in both places. Changing either identifier for both `x` and `y` fixes the problem to someth The second...

> 1. Strong naming is a breaking change > > ... > > 1. A new major version 4.0.0 will need to be published I don't think @louthy (strictly) follows...

Do we need to assume no bottom type to obtain the free theorem for `fmap`?

Do you have desired behavior in mind or are you only describing a use case for which we might be able to improve the behavior? > A developer debugging a...

What would a human do differently than what Hedgehog is already doing automatically?

> Hedgehog, however, treats timeout as a counterexample and starts trying to shrink it. Often this leads to another timeout. For 5 seconds of timeout and shrink limit of 20...

> Looking at how minimalistic Hedgehog is (there is no Collect or Classify, for example) [...] What would `Collect` and `Classify` do?

Ah, yes. Thanks for that clarification. Issue #25 is about adding such features. > 5 seconds was the threshold between a successful execution and a hung one for a particular...

I thought of a potential workaround. Can you try including a filter in your generator that depends on a flag that you toggle after concluding that you want shrinking to...

```fshap report() |> loop (i + 1) report() |> loop 1 ``` Due to F# bug https://github.com/dotnet/fsharp/issues/6984, you should not write tail recursive calls with pipe operators.