@(n:Nat) @(m:Nat) ((Either Nat) Nat)