diff --git a/stdlib/cgi/0/core.rbs b/stdlib/cgi/0/core.rbs
index aea53b09a..4fbeec26c 100644
--- a/stdlib/cgi/0/core.rbs
+++ b/stdlib/cgi/0/core.rbs
@@ -273,6 +273,12 @@ class CGI
 
   extend CGI::Util
 
+  type options_hash = {
+     ?accept_charset: String,
+     ?tag_maker: String,
+     ?max_multipart_length: Integer | ^() -> Integer
+  }
+
   # <!--
   #   rdoc-file=lib/cgi/core.rb
   #   - CGI.new(tag_maker) { block }
@@ -352,7 +358,7 @@ class CGI
   # varies according to the REQUEST_METHOD.
   #
   def initialize: (?String tag_maker) ?{ (String name, String value) -> void } -> void
-                | (Hash[Symbol, untyped] options_hash) ?{ (String name, String value) -> void } -> void
+                | (options_hash options_hash) ?{ (String name, String value) -> void } -> void
 
   # <!--
   #   rdoc-file=lib/cgi/core.rb
diff --git a/stdlib/csv/0/csv.rbs b/stdlib/csv/0/csv.rbs
index 32b60f7b6..3a0c0f760 100644
--- a/stdlib/csv/0/csv.rbs
+++ b/stdlib/csv/0/csv.rbs
@@ -1635,6 +1635,38 @@ class CSV < Object
   include Enumerable[untyped]
   extend Forwardable
 
+  type parsing_options = {
+    ?row_sep: String | :auto,
+    ?col_sep: String,
+    ?quote_char: String,
+    ?field_size_limit: Integer,
+    ?converters: Symbol,
+    ?unconverted_fields: bool,
+    ?headers: bool | Symbol | String | Array[String],
+    ?return_headers: bool,
+    ?header_converters: Symbol,
+    ?skip_blanks: bool,
+    ?skip_lines: Regexp | String | nil,
+    ?strip: bool,
+    ?liberal_parsing: bool,
+    ?nil_value: untyped,
+    ?empty_value: untyped
+  }
+
+  type write_converter = ^(String field) -> String
+
+  type generating_options: {
+    ?row_sep: String | :auto,
+    ?col_sep: String,
+    ?quote_char: String,
+    ?write_headers: bool,
+    ?force_quotes: bool,
+    ?quote_empty: bool:
+    ?write_converters: write_converter | Array[write_converter],
+    ?write_nil_value: string,
+    ?write_empty_value: string
+  }
+
   # <!--
   #   rdoc-file=lib/csv.rb
   #   - foreach(path_or_io, mode='r', **options) {|row| ... )
@@ -1773,7 +1805,7 @@ class CSV < Object
   #     # Raises ArgumentError (Cannot parse nil as CSV):
   #     CSV.new(nil)
   #
-  def initialize: (?String | IO | StringIO io, ?::Hash[Symbol, untyped] options) -> void
+  def initialize: (?String | IO | StringIO io, ?(parsing_options | generating_options) options) -> void
 
   # <!--
   #   rdoc-file=lib/csv.rb
@@ -1895,7 +1927,7 @@ class CSV < Object
   #     # Raises NoMethodError (undefined method `close' for :foo:Symbol)
   #     CSV.parse(:foo)
   #
-  def self.parse: (String str, ?::Hash[Symbol, untyped] options) ?{ (::Array[String?] arg0) -> void } -> ::Array[::Array[String?]]?
+  def self.parse: (String str, ?(parsing_options | generating_options) options) ?{ (::Array[String?] arg0) -> void } -> ::Array[::Array[String?]]?
 
   # <!--
   #   rdoc-file=lib/csv.rb
@@ -1965,7 +1997,7 @@ class CSV < Object
   #     # Raises ArgumentError (Cannot parse nil as CSV):
   #     CSV.parse_line(nil)
   #
-  def self.parse_line: (String str, ?::Hash[Symbol, untyped] options) -> ::Array[String?]?
+  def self.parse_line: (String str, ?(parsing_options | generating_options) options) -> ::Array[String?]?
 
   # <!--
   #   rdoc-file=lib/csv.rb
@@ -2031,7 +2063,7 @@ class CSV < Object
   #     File.write(path, string)
   #     CSV.read(path, headers: true) # => #<CSV::Table mode:col_or_row row_count:4>
   #
-  def self.read: (String path, ?::Hash[Symbol, untyped] options) -> ::Array[::Array[String?]]
+  def self.read: (String path, ?(parsing_options | generating_options) options) -> ::Array[::Array[String?]]
 
   # <!--
   #   rdoc-file=lib/csv.rb
diff --git a/stdlib/date/0/date.rbs b/stdlib/date/0/date.rbs
index 93b48eeb6..cda6437f4 100644
--- a/stdlib/date/0/date.rbs
+++ b/stdlib/date/0/date.rbs
@@ -71,6 +71,10 @@
 # *   Other non-numeric: raises TypeError.
 #
 class Date
+  type date_record = { mday: Integer, mon: Integer, year: Integer }
+
+  type datetime_with_timezone_record = { wday: Integer, mday: Integer, mon: Integer, year: Integer, hour: Integer, min: Integer, sec: Integer, zone: String, offset: Integer}
+
   # <!--
   #   rdoc-file=ext/date/date_core.c
   #   - Date.new(year = -4712, month = 1, mday = 1, start = Date::ITALY) -> date
@@ -112,7 +116,7 @@ class Date
   #
   # Related: Date.httpdate (returns a Date object).
   #
-  def self._httpdate: (String str) -> Hash[Symbol, Integer]
+  def self._httpdate: (String str, ?limit: Integer) -> datetime_with_timezone_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
@@ -130,7 +134,7 @@ class Date
   #
   # Related: Date.iso8601 (returns a Date object).
   #
-  def self._iso8601: (String str) -> Hash[Symbol, Integer]
+  def self._iso8601: (String str, ?limit: Integer) -> date_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
@@ -147,7 +151,7 @@ class Date
   #
   # Related: Date.jisx0301 (returns a Date object).
   #
-  def self._jisx0301: (String str) -> Hash[Symbol, Integer]
+  def self._jisx0301: (String str, ?limit: Integer) -> date_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
@@ -192,7 +196,7 @@ class Date
   #
   # Related: Date.rfc2822 (returns a Date object).
   #
-  def self._rfc2822: (String str) -> Hash[Symbol, Integer | String]
+  def self._rfc2822: (String str, ?limit: Integer) -> datetime_with_timezone_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
@@ -210,7 +214,7 @@ class Date
   #
   # Related: Date.rfc3339 (returns a Date object).
   #
-  def self._rfc3339: (String str) -> Hash[Symbol, Integer | String]
+  def self._rfc3339: (String str, ?limit: Integer) -> datetime_with_timezone_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
@@ -228,7 +232,7 @@ class Date
   #
   # Related: Date.rfc2822 (returns a Date object).
   #
-  def self._rfc822: (String str) -> Hash[Symbol, Integer | String]
+  def self._rfc822: (String str, ?limit: Integer) -> datetime_with_timezone_record
 
   # <!--
   #   rdoc-file=ext/date/date_core.c
diff --git a/stdlib/json/0/json.rbs b/stdlib/json/0/json.rbs
index 8a801b027..0fd973155 100644
--- a/stdlib/json/0/json.rbs
+++ b/stdlib/json/0/json.rbs
@@ -18,7 +18,7 @@ interface _JsonRead
   def read: () -> string
 end
 
-type json_options = Hash[Symbol, untyped]
+type json_options = { ?max_nesting: bool, ?allow_nan: bool, ?script_safe: bool }
 
 # <!-- rdoc-file=ext/json/lib/json/common.rb -->
 # The base exception for JSON errors.
diff --git a/stdlib/net-http/0/net-http.rbs b/stdlib/net-http/0/net-http.rbs
index ad3732c75..8ef6e38d2 100644
--- a/stdlib/net-http/0/net-http.rbs
+++ b/stdlib/net-http/0/net-http.rbs
@@ -913,6 +913,27 @@ module Net
     #
     def self.https_default_port: () -> Integer
 
+    type start_options = {
+      ?ca_file: String,
+      ?ca_path: String,
+      ?cert: OpenSSL::X509::Certificate,
+      ?cert_store: X509::Store,
+      ?ciphers: Array[String],
+      ?close_on_empty_response: bool,
+      ?ipaddr: String,
+      ?keep_alive_timeout: Numeric,
+      ?key: OpenSSL::PKey::PKey,
+      ?open_timeout: Numeric,
+      ?read_timeout: Numeric,
+      ?ssl_timeout: Numeric,
+      ?ssl_version: OpenSSL::SSL::tls_version,
+      ?use_ssl: bool,
+      ?verify_callback: ^(bool preverify_ok, StoreContext store_ctx) -> boolish,
+      ?verify_depth: Integer,
+      ?verify_mode: OpenSSL::SSL::verify_mode,
+      ?write_timeout: Numeric
+    }
+
     # <!--
     #   rdoc-file=lib/net/http.rb
     #   - HTTP.start(address, port = nil, p_addr = :ENV, p_port = nil, p_user = nil, p_pass = nil, opts) -> http
@@ -1003,8 +1024,8 @@ module Net
     # Note: If `port` is `nil` and `opts[:use_ssl]` is a truthy value, the value
     # passed to `new` is Net::HTTP.https_default_port, not `port`.
     #
-    def self.start: (String address, ?Integer? port, ?String | :ENV | nil p_addr, ?Integer? p_port, ?String? p_user, ?String? p_pass, ?Hash[Symbol, untyped]? opt) -> Net::HTTP
-                  | [T] (String address, ?Integer? port, ?String | :ENV | nil p_addr, ?Integer? p_port, ?String? p_user, ?String? p_pass, ?Hash[Symbol, untyped]? opt) { (Net::HTTP) -> T } -> T
+    def self.start: (String address, ?Integer? port, ?String | :ENV | nil p_addr, ?Integer? p_port, ?String? p_user, ?String? p_pass, ?start_options opt) -> Net::HTTP
+                  | [T] (String address, ?Integer? port, ?String | :ENV | nil p_addr, ?Integer? p_port, ?String? p_user, ?String? p_pass, ?start_options opt) { (Net::HTTP) -> T } -> T
 
     # <!--
     #   rdoc-file=lib/net/http.rb
diff --git a/stdlib/openssl/0/openssl.rbs b/stdlib/openssl/0/openssl.rbs
index 8a5693501..4f5e1ddec 100644
--- a/stdlib/openssl/0/openssl.rbs
+++ b/stdlib/openssl/0/openssl.rbs
@@ -7856,6 +7856,46 @@ module OpenSSL
     # be frozen afterward.
     #
     class SSLContext
+      type context_params = {
+        ?alpn_protocols=: Array[String]?,
+        ?alpn_select_cb=: (^(Array[String]) -> String?)?,
+        ?keylog_cb=,
+        ?ssl_timeout=: timeout?,
+        ?ciphers=: Array[String]?,
+        ?ciphersuites=,
+        ?tmp_dh=: (^(Session, Integer, Integer) -> PKey::DH)?,
+        ?tmp_dh_callback=(^(Session, Integer, Integer) -> PKey::DH)?,
+        ?ecdh_curves=: String?,
+        ?security_level=: Integer?,
+        ?key=: PKey::PKey?,
+        ?session_cache_mode=: Integer?,
+        ?session_cache_size=: Integer?,
+        ?timeout=: Integer?,
+        ?options=: Integer?,
+        ?servername_cb=: (^(SSLSocket, String) -> SSLContext?)?,
+        ?min_version=: tls_version?,
+        ?max_version=: tls_version?,
+        ?cert=: X509::Certificate?,
+        ?client_ca=: Array[X509::Certificate] | X509::Certificate | nil,
+        ?ca_file=: String?,
+        ?ca_path=: String?,
+        ?verify_mode=: verify_mode?,
+        ?verify_depth=: Integer?,
+        ?verify_callback=: (^(bool preverify_ok, StoreContext store_ctx) -> boolish)?,
+        ?ssl_version=: tls_version?,
+        ?verify_hostname=: boolish?,
+        ?cert_store=: X509::Store?,
+        ?extra_chain_cert=: Array[X509::Certificate]?,
+        ?client_cert_cb=: (^(Session) -> [ X509::Certificate, PKey::PKey ]??,
+        ?session_id_context=: Integer?,
+        ?session_get_cb=: (^(SSLSocket, Integer) -> Session?)?,
+        ?session_new_cb=: (^(SSLSocket) -> untyped)?,
+        ?session_remove_cb=: (^(SSLContext, Session) -> void)?,
+        ?renegotiation_cb=: (^(SSLSocket) -> void)?,
+        ?npn_protocols=: Array[String]?,
+        ?npn_select_cb=: (^(Array[String]) -> String?)?
+      }
+
       public
 
       # <!--
@@ -8183,7 +8223,7 @@ module OpenSSL
       #
       #     ctx.npn_protocols = ["http/1.1", "spdy/2"]
       #
-      def npn_protocols: () -> untyped
+      def npn_protocols: () -> Array[String]?
 
       # <!-- rdoc-file=ext/openssl/ossl_ssl.c -->
       # An Enumerable of Strings. Each String represents a protocol to be advertised
@@ -8195,7 +8235,7 @@ module OpenSSL
       #
       #     ctx.npn_protocols = ["http/1.1", "spdy/2"]
       #
-      def npn_protocols=: (untyped) -> untyped
+      def npn_protocols=: (Array[String]? protos) ->  Array[String]
 
       # <!-- rdoc-file=ext/openssl/ossl_ssl.c -->
       # A callback invoked on the client side when the client needs to select a
@@ -8213,7 +8253,7 @@ module OpenSSL
       #       protocols.first
       #     end
       #
-      def npn_select_cb: () -> untyped
+      def npn_select_cb: () -> (^(Array[String]) -> String? | nil)
 
       # <!-- rdoc-file=ext/openssl/ossl_ssl.c -->
       # A callback invoked on the client side when the client needs to select a
@@ -8231,7 +8271,7 @@ module OpenSSL
       #       protocols.first
       #     end
       #
-      def npn_select_cb=: (untyped) -> untyped
+      def npn_select_cb=: (^(Array[String]) -> String? alpn_select_callback) -> void
 
       # <!--
       #   rdoc-file=ext/openssl/ossl_ssl.c
@@ -8414,7 +8454,20 @@ module OpenSSL
       # :   Number of sessions proposed by clients that were found in the cache but
       #     had expired due to timeouts
       #
-      def session_cache_stats: () -> Hash[Symbol, Integer]
+      def session_cache_stats: () -> {
+        accept: Integer,
+        accept_good: Integer,
+        accept_renegotiate: Integer,
+        cache_full: Integer,
+        cache_hits: Integer,
+        cache_misses: Integer,
+        cache_num: Integer,
+        cb_hits: Integer,
+        connect: Integer,
+        connect_good: Integer,
+        connect_renegotiate: Integer,
+        timeouts: Integer
+      }
 
       # <!-- rdoc-file=ext/openssl/ossl_ssl.c -->
       # A callback invoked on a server when a session is proposed by the client but
@@ -8504,7 +8557,7 @@ module OpenSSL
       # If the verify_mode is not VERIFY_NONE and ca_file, ca_path and cert_store are
       # not set then the system default certificate store is used.
       #
-      def set_params: (?untyped params) -> untyped
+      def set_params: (context_params params) -> untyped
 
       # <!--
       #   rdoc-file=ext/openssl/ossl_ssl.c
@@ -8689,7 +8742,7 @@ module OpenSSL
 
       DEFAULT_CERT_STORE: X509::Store
 
-      DEFAULT_PARAMS: Hash[Symbol, untyped]
+      DEFAULT_PARAMS: context_params
 
       DEFAULT_TMP_DH_CALLBACK: Proc
 
diff --git a/stdlib/resolv/0/resolv.rbs b/stdlib/resolv/0/resolv.rbs
index 2f574ea15..53f4ff1df 100644
--- a/stdlib/resolv/0/resolv.rbs
+++ b/stdlib/resolv/0/resolv.rbs
@@ -335,6 +335,14 @@ class Resolv::DNS
 
   private
 
+  type dns_config_options = {
+    nameserver: String | Array[String],
+    search: String | Array[String],
+    ndots: Integer,
+    ?nameserver_port: Array[[String, Integer]],
+    ?raise_timeout_errors: bool
+  }
+
   # <!--
   #   rdoc-file=lib/resolv.rb
   #   - new(config_info=nil)
@@ -371,7 +379,7 @@ class Resolv::DNS
   #                     :search => ['ruby-lang.org'],
   #                     :ndots => 1)
   #
-  def initialize: (?String | Hash[Symbol, untyped] config_info) -> untyped
+  def initialize: (?String | dns_config_options config_info) -> untyped
 
   def use_ipv6?: () -> untyped
 end
@@ -391,9 +399,9 @@ Resolv::DNS::RequestIDMutex: Thread::Mutex
 Resolv::DNS::UDPSize: Integer
 
 class Resolv::DNS::Config
-  def self.default_config_hash: (?String filename) -> Hash[Symbol, untyped]
+  def self.default_config_hash: (?String filename) -> dns_config_options
 
-  def self.parse_resolv_conf: (String filename) -> Hash[Symbol, untyped]
+  def self.parse_resolv_conf: (String filename) -> dns_config_options
 
   public
 
@@ -413,7 +421,7 @@ class Resolv::DNS::Config
 
   private
 
-  def initialize: (?String | Hash[Symbol, untyped] config_info) -> untyped
+  def initialize: (?String | dns_config_options config_info) -> untyped
 end
 
 Resolv::DNS::Config::InitialTimeout: Integer
@@ -1859,7 +1867,7 @@ class Resolv::MDNS < Resolv::DNS
   # Hash
   # :   Must contain :nameserver or :nameserver_port like Resolv::DNS#initialize.
   #
-  def initialize: (?String | Hash[Symbol, untyped] config_info) -> untyped
+  def initialize: (?String | DNS::dns_config_options config_info) -> untyped
 end
 
 # <!-- rdoc-file=lib/resolv.rb -->
diff --git a/stdlib/uri/0/file.rbs b/stdlib/uri/0/file.rbs
index 2579819de..95ebc4a5d 100644
--- a/stdlib/uri/0/file.rbs
+++ b/stdlib/uri/0/file.rbs
@@ -4,6 +4,10 @@ module URI
   # The "file" URI is defined by RFC8089.
   #
   class File < Generic
+    type build_opts = {
+      ?host: String?,
+      ?path: String?
+    }
     # <!-- rdoc-file=lib/uri/file.rb -->
     # A Default port of nil for URI::File.
     #
@@ -47,7 +51,7 @@ module URI
     #     uri3.to_s  # => "file:///path/my%20file.txt"
     #
     def self.build: (Array[String] args) -> URI::File
-                  | ({ host: String?, path: String? }) -> URI::File
+                  | (build_opts args) -> URI::File
 
     # <!--
     #   rdoc-file=lib/uri/file.rb
diff --git a/stdlib/uri/0/generic.rbs b/stdlib/uri/0/generic.rbs
index 65226b9b3..4b0505212 100644
--- a/stdlib/uri/0/generic.rbs
+++ b/stdlib/uri/0/generic.rbs
@@ -101,6 +101,18 @@ module URI
   class Generic
     include URI
 
+    type build_opts = {
+      ?scheme: String?,
+      ?userinfo: String?,
+      ?host: String?,
+      ?port: Integer?,
+      ?registry: String?,
+      ?path: String?,
+      ?opaque: String?,
+      ?query: String?,
+      ?fragment: String?
+    }
+
     # <!-- rdoc-file=lib/uri/generic.rb -->
     # A Default port of nil for URI::Generic.
     #
@@ -153,8 +165,8 @@ module URI
     # URI::Generic::build. But, if exception URI::InvalidComponentError is raised,
     # then it does URI::Escape.escape all URI components and tries again.
     #
-    def self.build2: (Array[nil | String | Integer]) -> URI::Generic
-                   | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> instance
+    def self.build2: (Array[nil | String | Integer] args) -> URI::Generic
+                   | (build_opts args) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/generic.rb
@@ -171,8 +183,8 @@ module URI
     # query, and fragment. You can provide arguments either by an Array or a Hash.
     # See ::new for hash keys to use or for order of array items.
     #
-    def self.build: (Array[nil | String | Integer]) -> URI::Generic
-                  | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> instance
+    def self.build: (Array[nil | String | Integer] args) -> URI::Generic
+                  | (build_opts args) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/generic.rb
diff --git a/stdlib/uri/0/http.rbs b/stdlib/uri/0/http.rbs
index 62534f112..367ccd7d0 100644
--- a/stdlib/uri/0/http.rbs
+++ b/stdlib/uri/0/http.rbs
@@ -9,6 +9,15 @@ module URI
   # <URL:http://support.microsoft.com/kb/834489>.
   #
   class HTTP < Generic
+
+    type build_opts = {
+      ?userinfo: String?,
+      ?host: String?,
+      ?port: Integer?,
+      ?path: String?,
+      ?query: String?,
+      ?fragment: String?
+    }
     # <!-- rdoc-file=lib/uri/http.rb -->
     # A Default port of 80 for URI::HTTP.
     #
@@ -46,7 +55,7 @@ module URI
     # URIs as per RFC 1738.
     #
     def self.build: (Array[String | Integer] args) -> instance
-                  | ({ userinfo: String?, host: String?, port: Integer?, path: String?, query: String?, fragment: String? }) -> instance
+                  | (build_opts args) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/http.rb
diff --git a/stdlib/uri/0/ldap.rbs b/stdlib/uri/0/ldap.rbs
index c4bf285b7..196ee3b57 100644
--- a/stdlib/uri/0/ldap.rbs
+++ b/stdlib/uri/0/ldap.rbs
@@ -4,6 +4,16 @@ module URI
   # LDAP URI SCHEMA (described in RFC2255).
   #
   class LDAP < Generic
+    type build_opts = {
+      ?host: String?,
+      ?port: Integer?,
+      ?dn: String?,
+      ?attributes: String?,
+      ?scope: String?,
+      ?filter: String?,
+      ?extensions: String?
+    }
+
     # <!-- rdoc-file=lib/uri/ldap.rb -->
     # A Default port of 389 for URI::LDAP.
     #
@@ -50,7 +60,7 @@ module URI
     #       "/dc=example;dc=com", "query", nil, nil, nil])
     #
     def self.build: (Array[nil | String | Integer] args) -> URI::LDAP
-                  | ({ host: String?, port: Integer?, dn: String?, attributes: String?, scope: String?, filter: String?, extensions: String? }) -> URI::LDAP
+                  | (build_opts args) -> URI::LDAP
 
     # <!--
     #   rdoc-file=lib/uri/ldap.rb
diff --git a/stdlib/uri/0/mailto.rbs b/stdlib/uri/0/mailto.rbs
index 71263801c..c73b5346f 100644
--- a/stdlib/uri/0/mailto.rbs
+++ b/stdlib/uri/0/mailto.rbs
@@ -4,6 +4,11 @@ module URI
   # RFC6068, the mailto URL scheme.
   #
   class MailTo < Generic
+    type build_opts: {
+      ?headers:, Array[Array[String]]?
+      ?to: String?
+    }
+
     EMAIL_REGEXP: Regexp
 
     # <!--
@@ -36,9 +41,9 @@ module URI
     #     m3 = URI::MailTo.build({:to => 'listman@example.com', :headers => [['subject', 'subscribe']]})
     #     m3.to_s  # => "mailto:listman@example.com?subject=subscribe"
     #
-    def self.build: (Array[String]) -> instance
-                  | ([String, Array[Array[String]]]) -> instance
-                  | (Hash[Symbol, String | Array[Array[String]]]) -> instance
+    def self.build: (Array[String] args) -> instance
+                  | ([String, Array[Array[String]]] args) -> instance
+                  | (build_opts args) -> instance
 
     # <!-- rdoc-file=lib/uri/mailto.rb -->
     # E-mail headers set by the URL, as an Array of Arrays.