Dynamic Order Elaboration
The inference for first-class polymorphism can be done using the "Dynamic Order Elaboration" approach of Andras Kovacs. Now, with #11 (closed) being closed, we can do it alike.
The inference for first-class polymorphism can be done using the "Dynamic Order Elaboration" approach of Andras Kovacs. Now, with #11 (closed) being closed, we can do it alike.