Attempting to help mbrewer with his for-class ML hacking reminds me of how epically unhelpful the typechecker's error messages can be at times. I am subsequently reminded of Fahlman's Heretical Mantra, "Programming language design is just an HCI problem".