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

Question

В главе 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 &&&

Answer 1

Да, как вы определяете это лучше.Из Prelude:

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

Вы можете использовать только разделы в выражениях, но не в шаблонах.Нет никакой глубокой причины, почему (True &&) не должно быть разрешено в шаблоне.Но так редко хочется хотеть, что я не думаю, что оно того стоит.