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

Lana Black lanablack at amok.cc
Tue Jul 13 17:56:34 UTC 2021

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.

More information about the Haskell-Cafe mailing list