typecase

not defined yet