The transformation mentioned there has nothing to do with using the bind operator within a monad. An example of a natural transformation would be transforming f

The transformation mentioned there has nothing to do with using the bind operator within a monad. An example of a natural transformation would be transforming from one monad to another monad