haskell - （= <<）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'