是否有带签名的内置功能:: (Monad m) => m a -> a？
:: (Monad m) => m a -> a
Hoogle告诉我们没有这样的功能.
你能解释一下原因吗？
monads haskell comonad
comonad ×1
haskell ×1
monads ×1