Ru Horlick

Thanks @lspitzner - I'm also working on a PR for sorting import lists and it uses a similar stash, sort, uniq, restore approach. I'll give it a go and get...

@favonia Sadly I am also occupied right now, but I should be able to help in a few weeks' time

I guess the following would work nicely ``` class HasRelVarName a where relVarName :: RelVarName ``` and then we could add a default that names it using Generics?

Awesome ;) did you implement a default for it?

I guess it would still be reasonably explicit because you would have to write ``` instance HasRelVarName a where ``` anyway. But I guess you're right that you might as...

@3noch In your definition of the class do you get an ambiguous type error? I get one on `relVarName` because it ignores the `a`.

It is likely that many of these will be deleted, but I agree that we should audit them and add tests for the ones that may stay

Perhaps we should move `Relation` to `cardano-prelude` if it's going to be used across multiple packages

I'm also experiencing this issue on NixOS. Can we reopen the issue and try to investigate further?

I ran it with `sudo` and it didn't have the same failure, but it did end with `exit status 1`, so now seems like a slightly different issue. Then if...