class B [G -> {HASHABLE, COMPARABLE rename default_create as c end} create default_create end] inherit A [B [G], G] create make end