質問: True then y else x ``` 上記のプログラムでコンパイルしたところ以下のエラーがでました ``` enzan.hs:1:1: error: Invalid type signature: (bb) :: ... Should be of form :: | 1 | (bb) :: Bool -> a -> b || Bool | ^^^^ ``` プログラムの何が間違っているのかよく分からないのですがご教授お願いします。
回答: `bb` を中置演算子のように使用していますが、中置演算子は記号でないといけません。 例えば、`.&&.` を定義するように改修するとエラーがなくなります。 ``` (.&&.) :: Bool -> Bool -> Bool x .&&. y = if x then y else x ```