antitypy

not defined yet