Как на Haskell написать функцию :: [a] -> (), которая равна (), если список пуст или хотя бы одно значение из списка не _|_, и _|_ в противном случае?
На машине Тьюринга такое сделать можно.