more safety in destructing various User derivatives