added dependent type casting example