Compiler pearl: Equality proofs and deferred type errors [pdf]research.microsoft.com5 pointsthu14 years ago