多分モナドが強制されるのはなぜですか？

Question

私はNetwork.Linklaterパッケージを使用して、基本的なslackbotを実装しようとしています：

https://github.com/hlian/linklater

このパッケージには、次の関数を定義しています

slashSimple :: (Command -> IO Text) -> Application 
slashSimple f = 
    slash (\command _ respond -> f command >>= (respond . responseOf status200)) 

私はそうのように、これを消費しようとしています：

kittensBot :: Command -> IO Text 
kittensBot cmd = do 
      putStrLn("+ Incoming command: " ++ show cmd) 
      return "ok" 

main :: IO() 
main = do 
    putStrLn ("Listening on port: " ++ show port) 
    run port (slashSimple kittensBot) 
    where 
     port = 3001 

これは（コンパイル時に）

を生成します。

ただし、slashSimpleの署名は(Command -> IO Text) -> Applicationです。 kittensBotの署名はそれを満たすべきではありませんか？それはなぜですか？あなたが報告したようにGitHubのマスターでslashSimpleの定義ですが

Answer 1

、linklater-3.2.0.0でHackageバージョンを使用すると、Hackage上のパッケージを使用する場合は、あなたのような何かにkittensBotを更新する必要があります

slashSimple :: (Maybe Command -> IO Text) -> Application 

です：

kittensBot :: Maybe Command -> IO Text 
kittensBot Nothing = ... 
kittensBot (Just cmd) = do 
     putStrLn("+ Incoming command: " ++ show cmd) 
     return "ok" 

また、GitHubからパッケージをダウンロードして手動でインストールすることもできます。