polytypy
not defined yet