Comments should describe what the type system can't. Connect, pitfalls, workarounds for bugs in other code, etc.