module Kernel
  def to_json: (*untyped) -> String
end