polytyping

not defined yet