たびたび失礼します。
haskellについての質問です。
&&式で

True && _ = _
False && _ = False

を条件式で表せ、という問題なのですが

(bb) :: Bool -> a -> b
x bb y = if x == True then y else x

上記のプログラムでコンパイルしたところ以下のエラーがでました

enzan.hs:1:1: error:
Invalid type signature: (bb) :: ...
Should be of form <variable> :: <type>
  |
1 | (bb) :: Bool -> a -> b || Bool
  | ^^^^

プログラムの何が間違っているのかよく分からないのですがご教授お願いします。