Am Mi., 16. Nov. 2022 um 18:23 Uhr schrieb Shiro Kawai <shiro.ka...@gmail.com>: > > On Wed, Nov 16, 2022 at 2:17 AM Marc Nieper-Wißkirchen > <marc.nie...@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. > > >
