-record(external_annotation, {
    module :: binary(),
    target :: graded@internal@types:external_target(),
    effects :: graded@internal@types:effect_set()
}).