https://9dok.net/document/zkwv8v84-generating-order-sorted-data-types-in-java.html