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

[Lana Black]

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.