it feels like a category error of sorts too. types describe all possible values. a debugger observes one value. they're fundamentally different things, and a

it feels like a category error of sorts too. types describe all possible values. a debugger observes one value. they're fundamentally different things, and are useful in different ways. sure, sometimes they overlap, but not always.