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

On 13 Jul 2021, at 1:56 pm, Lana Black <lanablack@amok.cc> wrote:

...

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.

When clear and effective alternatives exist, by all means keep it simple. With reflection you get run-time type classes, which can be useful, but I agree should generally not be the first thing you reach for... -- Viktor.