为什么(= <<)id =加入Haskell？

Question

(=<<) :: (a -> m b) -> m a -> m b
id :: a -> a
join :: m (m a) -> m a

所以不应该,

(=<<) id

给出错误是因为,

id :: a -> a

并不是,

id :: a -> m a

不(= <<)期望,

(something -> m anything)

作为它的第一个论点？

Answer 1

m a' -> m a'也是一种a -> a,所以我们可以拥有

      id ::  m a' -> m a'                        -- a = m a'
   (=<<) :: (m a' -> m a') -> m (m a') -> m a'   -- a = m a', b = a'

(=<<) id ::                   m (m a') -> m a'