heteromorphisms