Added type-parameter procedure.