At what point are we looking at the inter-relationships and commonalities among all practical implementations which share common input [groups, types, {trait}],

At what point are we looking at the inter-relationships and commonalities among all practical implementations which share common input [groups, types, {trait}], etc...