Types that are explicitly stated.