Fix typo in code, link to caremad, expand on the dangers of type inference.