fix uninstantiable type check