Add link to Type functions, by Simon Peyton Jones.