Added: :ref:`sort-polymorphism` makes it possible to share common constructs over Type Prop and SProp (#17836, #18331, by Gaëtan Gilbert).