implement rebind by default depending on type_constructor and apply.