-record(type_field_annotation, {
    type_name :: binary(),
    field :: binary(),
    effects :: graded@internal@types:effect_set()
}).