extension Object (X)
  def try: <'a> { (instance) -> 'a } -> 'a
  def f: -> Object
end

class Foo
  def f: -> String
end