cross-referencing types