Test that generalization maintains the correct depth ordering for compatibility with `=>`.
Test that generalization maintains the correct depth ordering for compatibility with `=>`.

antitypical/Manifold,antitypical/Manifold