As long as the every element of the hierarchy is noexcept-movable it still composes. It is just very cumbersome.