3.3.1.4 instantiable types