Haskellや圏論でおなじみの

(>>=)  :: m a -> (a -> m b) -> m b

ですが,（上記はHaskellの型シグネチャーになります.）

口語ではなんて呼べば良いんでしょうか？

僕は勝手に"join fmap" とか読んでたんですが. 名称は存在するんでしょうか.

よろしくお願いします.