liquidhaskell-0.8.10.7: tests/pos/null.hs

module Foo where

foo :: [a] -> [a]
foo xs = if null xs then [] else tail xs