Varspec does not need a type