class T::Types::TypedHash

def initialize(keys:, values:) 

def initialize(keys:, values:)
  @keys = T::Utils.coerce(keys)
  @values = T::Utils.coerce(values)
  @type = T::Utils.coerce([keys, values])
end

def name

@override Base 
def name
  "T::Hash[#{@keys.name}, #{@values.name}]"
end

def new(*args, &blk) 

def new(*args, &blk)
  Hash.new(*T.unsafe(args), &blk)
end

def recursively_valid?(obj)

@override Base 
def recursively_valid?(obj)
  obj.is_a?(Hash) && super
end

def underlying_class 

def underlying_class
  Hash
end

def valid?(obj)

@override Base 
def valid?(obj)
  obj.is_a?(Hash)
end