Cross-linked types