That sounds right, and is exactly what you'd want to happen in that case.  Thanks.  (Coming from haskell anything that requires dynamic resolution scares me.)