[Groxx]

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.