The point of the article is that even though function composition and monadic composition are made out of different things ((.) and id versus (<=<) and return r

The point of the article is that even though function composition and monadic composition are made out of different things ((.) and id versus (<=<) and return respectively) they have the same underlying structure: associative composition with identity.