On Thu, Mar 17, 2022 at 10:51 AM Hanna Reitz <hre...@redhat.com> wrote:
> I hope similarly to how א₀ and its companions exist[1], there are also > multiple instances of `...`, so one can succeed at handling cases where > a `...` is a valid return type. I suggest just more dots. lol. I'm invested in higher-kinded ellipse theory. --js