Go proposal: Type-safe error checking

That's awesome. I like the explicit nature of go and usually the verbosity is worth the benefits. But finding ways to improve upon it without losing the explicitness is great.