Improved generics in algebraic structures (abstract…)