Interprets/Runs the sequence of operations using the semantics of InvariantMonoidal[G]
Interpret this algebra into a Monoid
Interpret this algebra into another InvariantMonoidal
Interpret/run the operations using the semantics of InvariantMonoidal[F]
.
Invariant Monoidal for Free