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啦