определение логического соединения вручную

В главе 4 Эрика Мейера «Основы функционального программирования» он по существу пишет:

True  &&& x | x == True  = True
            | x == False = False

Разве это не излишне многословно? Разве я не мог просто написать:

True  &&& x = x

или даже:

(&&&) True  = id

(&&&) False = const False          

Кстати, почему я не могу написать следующее?

(True  &&&) = id

(False &&&) = const False          

ghci отвечает:

Parse error in pattern: True &&&