letfn: binding inits know other binding's types