Intersection types for unbind and rebind