Aus irgendeinem Grund kann ich die Antwort darauf nirgendwo finden. Ich habe versucht, "Haskell-Gleichheitszeichenpfeil" zu googeln, und ich erhalte keine Ergebnisse. Nehmen wir an, wir haben folgende Funktion:

sendMessage :: MonadM e m => Message -> m ()
sendMessage message = do
    mClient  <- getMessageClient
    liftIO $ send mClient message

Wo genau gewöhnen sich e und m? Werden sie an das Message-Objekt (function?) Übergeben und dann als einzelner Typ ausgegeben, m ()?

Ich glaube nicht, dass es hilft, dass ich sehr neu in Haskell bin, aber jede Hilfe wird hier geschätzt.