1 2 3 4 5 6 7
a as Nat or Str or NoneType = 1 f _: Int or NoneType or Str = None f a b as Nat or Str or NoneType or Bool = 1 g _: Int or NoneType or Bool or Str = None g b