On 15 Apr 2025, at 03:29, Peter McGoron <xxxxxx@mcgoron.com> wrote:

> I can't use letrec like
>
>    (letrec ((proc (lambda args etc ...)) proc)

You can use a call to the constructor as the right-hand side of letrec.

Daphne