-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()}, gleam@dict:dict(binary(), integer())),
    pure_modules :: gleam@set:set(binary())
}).