Restricting a Generic Argument to a Schema.Struct with Specific Properties - Effect Community