class Foo
  def foo: (^(Integer) -> Integer) -> String
end