Solomon, M. On Type Definitions With Parameters. DPB 1975, 4.