-record(knowledge_base, {
    all_effects :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:effect_set()),
    param_bounds :: gleam@dict:dict(graded@internal@types:qualified_name(), list(graded@internal@types:param_bound())),
    type_fields :: gleam@dict:dict({binary(), binary()}, graded@internal@types:effect_set()),
    pure_modules :: gleam@set:set(binary())
}).