# You don't need B here, so use type A
    proc a(arg: A) =
    
    
    
    Run

Easily solved.

Reply via email to