join

join x == x >>= id

 

看看bind  >>＝ 要求是

左边m a

右边 a -> m b

但是id是 a -> a

so.... a = m b

so... x = m(m b)

 

m (m b) -> mb

那就是。。。join啦