https://5dok.org/document/yngpmw9k-high-probability-type-error-issue-error-awareness-studies.html