Charles O'Farrell

> It would be nice to have support in the runner for a result: => PropertyT[F[Result]] Yeah I did wonder what we do with the runner. You could "capture" the...

Wow, this is amazing. Thank you! > Remove incidental whitespace changes :100: > Add a Monad[Future] instance. Did Michael implement one on his branch that you/we can use? > Do...

> My gut feeling is that it would be safe to remove Identity but I will have to write some tests and see what happens. Yeah if you could that...

Thanks so much guys, I'm sorry you're having to deep-dive so much to make this change possible. I was going to suggest inlining a version Eval but sounds like it's...

Yeah I found the LazyList in its current form was critical to avoiding a memory leak (when shrinking kicks in). I'm sure there's probably other ways of achieving the same...

> This also means that it blows up for Gen.string with a length of around 2680 with a default stack size of 1M. Yeah I'm sorry. :( In theory it...

> I'm not sure exactly how this would work but it would be nice if the logs were available for a Success result and not just for a Failure. Yeah...

@HuwCampbell Ahh bugger. It's actually not really lifted in to PropertyT until the [last step](https://github.com/hedgehogqa/scala-hedgehog/blob/master/core/shared/src/main/scala/hedgehog/state/package.scala#L17) either. I actually quite liked keeping Gen pure from coverage, but that does mean quite...

Have converted the applicative instance over, but still looking at ideal list shrinking

Just for context, I was the one who hacked together [scala-hedgehog](https://github.com/hedgehogqa/scala-hedgehog) in a weekend, and it was an _exact_ 1:1 with the current [haskell-hedgehog](https://github.com/hedgehogqa/haskell-hedgehog) API (which led to all sorts...