recursive bindings example