issue-3318.mo:6.24-6.25: type error [M0096], expression of type
  ((Nat, Nat)) -> (Int, Int)
cannot produce expected type
  ((Nat, Nat)) -> ((Int, Int))
issue-3318.mo:15.41-15.42: type error [M0096], expression of type
  (Nat, Nat) -> (Nat, Nat)
cannot produce expected type
  (Nat, Nat) -> ((Nat, Nat))
issue-3318.mo:18.41-18.42: type error [M0096], expression of type
  (Nat, Nat) -> (Nat, Nat)
cannot produce expected type
  ((Nat, Nat)) -> (Nat, Nat)
issue-3318.mo:21.43-21.44: type error [M0096], expression of type
  (Nat, Nat) -> (Nat, Nat)
cannot produce expected type
  ((Nat, Nat)) -> ((Nat, Nat))
issue-3318.mo:24.39-24.40: type error [M0096], expression of type
  (Nat, Nat) -> ((Nat, Nat))
cannot produce expected type
  (Nat, Nat) -> (Nat, Nat)
issue-3318.mo:33.43-33.44: type error [M0096], expression of type
  (Nat, Nat) -> ((Nat, Nat))
cannot produce expected type
  ((Nat, Nat)) -> ((Nat, Nat))