Re: [Haskell-cafe] Check a lack of a constraint?

On Tuesday, 13 July 2021 17:39:04 UTC Viktor Dukhovni wrote:

This is only a problem if these multiple times are *nested*:

Yes, this is exactly that I mean by "within the same call stack".

If you're concerned about nested uses of `Given` the simplest solution is to just use `reify` and `reflect` and avoid `given`:

Frankly, I'd rather stick to multireaders. Reflection seems to me like a worse case of extreme language abuse.