Agreed. But the messiness of reaching that point ...

# random

[fellshard]

Agreed. But the messiness of reaching that point - the indirectness and bumping into obstacle after obstacle to get there - is something that is not easily forgotten. They're basically invisible walls, the type system not acting as one intuitively expects.