> But I just realized that it will probably be necessary to declare (not > bind!) implicit parameters at the top level to avoid capture problems. Yep, this is the way it would have to go. --KW 8-)