High-quality types can help improve projects' maintainability while avoiding potential bugs. This project is aimed at helping you better understand how the type system works, writing your own ...