"Commentationes ad maiorem Dei gloriam — cum variationibus ontologicis"
And :: [Bool] -> Bool
And [] = True
And (False:_) = False
And (True:xs) = And xs
Or is an exercise for the reader.