Imported pair and type pair