Araq Thu, 12 Oct 2023 08:00:22 -0700
# You don't need B here, so use type A proc a(arg: A) = Run
Easily solved.