Matthew Leon

I've created a branch for quickcheck without typeclasses here: https://github.com/matthewleon/purescript-quickcheck/tree/no-arbitrary It works, but needs to be made a bit friendlier. I'm going to try addressing the challenges you bring up...

Thanks for bringing that up. Very good points. I'll give my branch a rest then :)

I suspect there is no way to fix this without resorting to JS or some unsafe* calls. Within PureScript, the only way I know of to rewrite such references is...

Yes, I guess "leak" isn't really the right word here. Correct me if I'm wrong, though, but if the `var step` line were replaced with `a = k(a)`, wouldn't this...

I recall particularly that what prompted this was a case where `a` was the only reference to the head of a linked list, and by overwriting it, I was able...

It's quite similar to this, I think: https://github.com/purescript/purescript/issues/2822

> as we aren't going to be able to use ST anyway I guess this issue has come up because this part of the library has to be adapted to...

> or we could augment the monad with an async like operation. I'm leaning toward that option. The sticky aspect of this for me is that `idle` feels like it...

> Special casing would be in line with the protocol In that case, it might also make sense to change the type signatures on `idle`/`noidle`.

I was thinking, when I wrote the example code for using the `First` semigroup, that it would benefit from something like this. Will have a closer look later.