查阅Control.Monad文档后,我对这段话感到困惑:
Control.Monad
上述法律意味着: fmap f xs = xs >>= return . f
上述法律意味着:
fmap f xs = xs >>= return . f
他们怎么暗示这个？
monads haskell functor
functor ×1
haskell ×1
monads ×1