def type_of_dict_is_sniffed_from_keys_and_values():
assert_equal(types.dict_(types.describe(int), types.describe(str)), describe_type_of({1: "Kentucky Pill"}))
def type_of_empty_dict_is_dict_of_any_to_any():
assert_equal(types.dict_(types.any_, types.any_), describe_type_of({}))
