Are Semigroup, Monoid, Semiring and Ring instances for records using Record.Unsafe.unsafeSet on purpose instead of composing a bunch of record builders? Don’t that yield a lot more garbage?
Also is there a reason for not having records instances of Bounded, EuclideanRing and DivisionRing?
Are
Semigroup,Monoid,SemiringandRinginstances for records usingRecord.Unsafe.unsafeSeton purpose instead of composing a bunch of record builders? Don’t that yield a lot more garbage?Also is there a reason for not having records instances of
Bounded,EuclideanRingandDivisionRing?