Strange behavior in `TVar.state`

[rlmark]

See Discord message for context. We noticed some strange behavior where TVar.state was not being run.

Simple reproduction:

scratch/main> lib.install @unison/base

scratch/main> edit TVar.state
scratch/main> load

Editing and loading should not indicate that there are any differences, but the UCM indicates that there is a modification to TVar.state.

Note that display shows an extra argument in TVar.state that is not present in the original definition:

scratch/main> display TVar.state

Environment:

• unison version: release/0.5.49' (built on 2025-09-24)
• Mac 26.0.1 Tahoe - M1 chip