-record(knowledge_base, {
    all_effects :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:effect_term()),
    param_bounds :: gleam@dict:dict(graded@internal@types:qualified_name(), list(graded@internal@types:param_bound())),
    type_fields :: gleam@dict:dict({binary(), binary(), binary()}, graded@internal@types:type_field_effect()),
    returned_operators :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:effect_term()),
    factories :: gleam@dict:dict({binary(), binary()}, graded@internal@types:factory_signature()),
    module_effects :: gleam@dict:dict(binary(), graded@internal@types:effect_term()),
    provenance :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:return_provenance())
}).