I'm so confused-- there's a user upstream reporting something about having to grep for a variable name, then having to grep for the function that created the va

I'm so confused-- there's a user upstream reporting something about having to grep for a variable name, then having to grep for the function that created the variable just to figure out the type. Are they using Nix wrong? Or is this seriously a limitation of the current state of the tooling? If it's a limitation of the tooling, that almost sounds like satire. I.e., someone builds a powerful functional DSL, uses it to painstakingly construct a monstrous package graph, then gets tired and wonders, "Wouldn't it be great if there were a language and data structure that were both custom suited to automating the grep'ing of argument types for my DSL's package graph..."