Typeclasses for simplifying ✓
It would be nice to have a typeclass which simplifies ✓ x for x in a given RA into its most basic representation.
- Should this live in BI..?
It would be nice to have a typeclass which simplifies ✓ x for x in a given RA into its most basic representation.