function takes_an_interface(Interface<Generic> an_interface){
	an_interface::my_type my_var;
	typeof(my_var) // is dependent on Interface<Generic>
}