Verifies that Reducer is an aggregate type that conforms type reducer requirements and issues static assertion otherwise.
aggregate type to check
See Implementation
Verifies that Reducer is an aggregate type that conforms type reducer requirements and issues static assertion otherwise.