というかざっくり言っちゃうと、
モナドは(a -> M b)が結合できるもので、アローは(A a b c)が結合できるもの、それにいろいろ理屈を付けただけでしょ。
モナドは結合する単位が(a -> M b)という関数の形に限定されるから、アローより限定的なものしか表現できない。
それでいいんじゃないの？