definir manualmente junto booleano

Question

En chapter 4 de Erik Meijer en los fundamentos de la programación funcional, que esencialmente escribe:

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

¿No es esto innecesariamente prolijo? ¿No podría escribir:

True &&& x = x 

o incluso:

(&&&) True = id 

(&&&) False = const False   

Por cierto, ¿cómo es que no puedo escribir lo siguiente?

(True &&&) = id 

(False &&&) = const False   

ghci responde con:

Parse error in pattern: True &&& 

Answer 1

Sí, la forma en que lo define es mejor. Desde el Preludio:

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

Sólo puede utilizar secciones en las expresiones, no en los patrones. No hay una razón profunda por la cual (True &&) no se debe permitir en un patrón. Pero es algo tan raro de querer que no creo que valga la pena la complicación.