(untitled)

Aside from facilitating code reuse by bringing in all standard functions of simple types in a more complex context, map allows us to work in a way that is predictable, courtesy of the functor laws, which in programming context look like this. -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/10_functors/index.html