2013-11-19-10.21.17: src/lib/compiler/front/typer/types/resolve-overloaded-variables.pkg: Victory!  Failing case now works:  v = abc; overloaded my bar: ((X, Y) -> Z) =  (string::get); bar(v,1);