Unified typing