Am Mi., 16. Nov. 2022 um 18:23 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>
> On Wed, Nov 16, 2022 at 2:17 AM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:
>>
>>
>> There is no reason to restrict to >= 1 comparator.  It would be an
>> arbitrary restriction.
>
>
> But can you define a reasonable base case E ≡ (make-product-comparator) such that (make-product-comparator X) ≡ (make-product-comparator E X)  ?

The type predicate would be (lambda () #t), and the equality predicate
the coarsest one.

>
>
>