
        Use the type system to enforce that product nodes are simplified away

dcac654