The first step to getting the type checker to work for you is to understand how it works, what work it can and can't do.| Practical ReScript