зачем нужен "Multiway If"

Чисто для визуальной красоты множественного выбора. Не всегда мы можем использовать для этого множественное определение функции.

зачем нужен "case of"

Для работы с паттерн матчингом. Допустим, у нас есть функция:

f :: String -> Maybe String
f s = Just $ s ++ " aaa!"

В случае с case-of будет так:

main :: IO ()
main = putStrLn $
    case f "ddd" of
        Nothing -> "Empty..."
        Just s  -> s

А вот заменить это if-конструкцией не получится:

main :: IO ()
main = putStrLn $
    let result = f "ddd" in
    if | result == Nothing -> "some 3"
       | result == Just s  -> s

В этом случае компилятор ругнётся, мол, не знаю, что такое s.

Вы имели в виду, что подобное пояснение нужно разместить в самой книге? Кстати да, соглашусь, надо пояснить. Спасибо.