Re: Statically reflect on procs in scope that dispatch on some type T.

[deech]

I guess you're right that it would need a change to the compiler but AFAICT 
'proc' fields of an object are in the same situation and we have an iterator 
(more precisely an unrolled for-loop) for field name/type pairs.