기존 accessor와 비교 method를 표준 API에 연결한다.
User::name으로 key 추출
User::score로 primitive key
User::name으로 표현 변환
Integer::max로 충돌 결합
핵심: reversed 적용 범위와 reduce identity의 algebra는 별도로 검증한다.