> I haven't had good experiences with tagging. Fair enough. I have. > There are just too many "tags" (often one per line or group of lines). Where the burde

> I haven't had good experiences with tagging. Fair enough. I have. > There are just too many "tags" (often one per line or group of lines). Where the burden outweighs the benefit, you always have the freedom of typing things too loosely - to be sure, without something like refinement types, there is a granularity you can easily try for that's just not worthwhile. But that's a pretty different thing than "can't be expressed with mainstream type systems at all." For me, the questions are 1) how far does this type move information in its use through the program, and 2) what part of these are likely to change in ways such that I'll want to be notified about this piece of code here?