Correct, that function doesn't have to parse immediately, but it does have to be aware your monad exists. This isn't a problem if you're the one writing the fu

Correct, that function doesn't have to parse immediately, but it does have to be aware your monad exists. This isn't a problem if you're the one writing the function, but if you're using a 3rd party library that doesn't know about your monad, then fmap can be very useful.