Algebra.RingUtils
class AbelianGroup a
class AbelianGroupZ a
class Ring a
class RingP a
data Pair a
select
onlyLeft
onlyRight
data O f g a
sum
mulDefault