class BB [G -> {CC [COMPARABLE], CC [NUMERIC]} create make end] feature f local g: G do create g.make end end