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