an example requiring expansion of type selections