Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/docs/bugs/nhc13test19.hs
f :: [a] -> Bool -> Bool f [] _ = False f (x:xs) y = y f (x:xs) y = y