io.sigs.seals.laws.ReifiedLaws
A simplified Tree, which doesn't care about product nesting and labels.
A simplified Tree, which doesn't care about product nesting and labels. (Useful for testing the invariant monoidal functor laws).