Map functions are hard to "get" in the abstract. This looks at two mental models that helped me understand them better.

Switching from primitive types to product types can improve confidence in correctness and compiler errors, but not without a cost.