-record(annotation_line, {
    annotation :: graded@internal@types:effect_annotation()
}).