+

Again, the Haskell version makes this much clearer. Start with `fmap`

:

+

+ fmap :: (a -> b) -> f a -> f b
+

+

+ Aside: This is where the "box" analogy starts falling apart, and we start throwing around vague terms like "computational context"...

--
2.1.1