homotypy
not defined yet