> It's a strong guarantee that boosts the robustness and usability of type classes significantly.

If there was a compiler which would enforce these rules.