<div dir="auto">I remember seeing a package that offered a function used something like this:<div dir="auto"><br></div><div dir="auto">$(deriveThingy [d| instance Foo a => Thingy a |])</div><div dir="auto"><br></div><div dir="auto">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?</div></div>