Check local type family instances against all imported ones