Type check-ns