Some types of the latter are subsets of the former.