These are chat archives for non/algebra
MinMaxLattice? I noticed this when aliasing typeclasses from spire.
IsIntegralliving in algebra?
IsRealthat could perhaps be factored out a bit
IsRationaldon't exist in algebra, but it's sort of meant to be a hierarchy)
Algebirdwould be hurting without them
IsRationalin algebra require having
Rationalin algebra? Same for