tetramorphism

not defined yet