the "main type" needs not to be resolved