Principal type-schemes for functional programs, Annotated by Eric Lippertericlippert.com2 pointsdouche10 years ago