I'm not aware of anything specifically like that, but the `make…`
functions in https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving...
may allow you to do something similar?
On Sat, Oct 22, 2022 at 2:32 PM David Feuer
I remember seeing a package that offered a function used something like this:
$(deriveThingy [d| instance Foo a => Thingy a |])
to allow the user to specify the constraint(s) for a generated instance. I'd love to borrow the code for that, but I can't remember what package it was in, what class it derived, etc. Can anyone help? _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
-- brandon s allbery kf8nh allbery.b@gmail.com