Let's produce an abstract Specker Derivative Game version.

We have 
Derivative = <t> Typ.
RawMaterial = <t> Typ <m> Material <p> Parameter.
Material = .
Typ = .
Parameter = .
FinishedProduct = RawMaterial AddedArtifact.
AddedArtifact = .

Derivative
  RawMaterial deliverR()
  FinishedProduct deliverF(RawMaterial)
RawMaterial
  RawMaterial deliverR()