-record(type_field_annotation, {
    module :: gleam@option:option(binary()),
    type_name :: binary(),
    field :: binary(),
    effects :: graded@internal@types:effect_term()
}).