remove gEq derives for Data.Set
Closes #205 (closed)
Merge together with https://gitlab.science.ru.nl/clean-and-itasks/clean-platform/merge_requests/91
Closes #205 (closed)
Merge together with https://gitlab.science.ru.nl/clean-and-itasks/clean-platform/merge_requests/91