HowじゃなくてWhatっていうのはHaskellじゃなくて
Haskellを含む関数型言語のコミュニティに強い影響を与えている
Bird-Merteens formalismという考え方における目標なんじゃないのかな？