homotype
not defined yet