Where are the sum and product types in this, exactly?