https://9pdf.org/document/zlgeeke6-type-systems.html