{-# language LambdaCase #-}

test :: [a] -> String
test = \case . null
    -- True -> "empty"
    -- False -> "not empty"

main :: IO ()
main = putStrLn (test [])