-record(type_field_effect, {
    effects :: graded@internal@types:effect_term(),
    bounds :: list(graded@internal@types:param_bound()),
    source :: gleam@option:option(graded@internal@types:qualified_name())
}).