This is a whole vibe when working with an ML language. I usually start at the bottom of the call stack and add the property I need to the signature of that func

This is a whole vibe when working with an ML language. I usually start at the bottom of the call stack and add the property I need to the signature of that function, then I can just follow "hey, you're calling it wrong—where is argument xyz?" errors up to the top of the stack. Classic bop mode.