In reply to GChan:
Creating a new instance using the bind construct is subject to the same semantics had you explicitly created the instance inside that other instance. Interfaces may contain instances of other interfaces, but not modules. Modules may may contain instances of other modules or interfaces.
A bind construct itself may be located in an interface or module.