Instances of Instances Modeled via Higher-Order Classes

Instances of Instances Modeled via Higher-Order Classes