This is very important, otherwise we can't figure out the group and thus the
threshold for DReps, making a proposla trivially enactable, with the CC
support that is.

Related change to the spec:
IntersectMBO/formal-ledger-specifications#274

…selected

This is an alternative approach to figuring out thresholds. Original
approach was buggy and did not work correctly, which resulted in #3835

Bring back the module

Bring back the module

GHC-8.10 has a bug where current setup of type families and usage of
type class functions to define standalone functions that depnend on the
same type class results in compiler going into infinite loop.

GHC bug report: https://gitlab.haskell.org/ghc/ghc/-/issues/21973