Yeah I don't think I'm able to explain the idea to you well enough; I hope you find the right resources online! Just to set the right context; no; you will not have to add any checks if you're using ADTs and mapping over them. The reason to use them is to remove all these unnecessary checks.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.