-record(state, {
    next_id :: integer(),
    subst :: gleam@dict:dict(integer(), girard@types:type()),
    annotations :: list({glance:span(), girard@types:type()}),
    pending :: list(girard@internal@infer:pending()),
    rigid :: gleam@set:set(integer())
}).