Strict instantiable checking