Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/PreludeList/Null.hs
module Prelude where null :: [a] -> Bool null [] = True null (_:_) = False