Conclusion

1. Bugs come in many different forms.
2. Bugs happen because it is impossible to know and handle everything perfectly.
3. Using types as proof of assumptions helps us write correct code.