質問: 私の考え方のどこが間違っているのでしょうか、またnon-simple pattern bindingの形はどんなものでしょうか。
回答: 一応、自己解決しました。 4.5.5のはじめに > > a simple pattern binding is a pattern binding in which the pattern consists of only a single variable > > > なる記述がありました。 従って、`(一般形) - (simple pattern binding) = ガードとwhere付きのpattern binding`は間違いです。`h`もsimple pattern bindingです。また`(x:xs) = f something`や`(f, g) = ((+), (-))`がnon-simple pattern bindingというのも正しいです。 それでも4.4.3.2 Pattern bindingsの書き方とは矛盾しているような気がしますが・・・。