These are chat archives for non/algebra
A : Rig : Rng(okay, that's a bad example) and in there, I'm calling a function with type parameter
A : Semiring. What's the preferred approach in algebra to avoid the ambiguity error?
Rng[A]then you should be able to have