-record(violation, {
    function :: binary(),
    call :: graded@internal@types:qualified_name(),
    span :: glance:span(),
    declared :: graded@internal@types:effect_set(),
    actual :: graded@internal@types:effect_set()
}).