https://9pdf.org/document/zgwlr3e8-view-unified-type-object-oriented-programming.html