class X
  def foo: (String) -> Integer
         | (Integer) -> String
end