Defining and Inferring Generics in Schema - Effect Community