https://9pdf.org/document/zkw8x1gp-view-safety-analysis-versus-type-inference-partial-types.html