-record(effect_annotation, {
    kind :: graded@internal@types:annotation_kind(),
    function :: binary(),
    params :: list(graded@internal@types:param_bound()),
    effects :: graded@internal@types:effect_set()
}).