hypertypic
not defined yet